Blame kitty-0.18.3-no_sphinx.diff
|
|
4841115 |
--- kitty-0.18.3/setup.py.no_sphinx 2020-08-11 01:49:32.000000000 -0700
|
|
|
4841115 |
+++ kitty-0.18.3/setup.py 2020-08-24 17:42:39.080608804 -0700
|
|
|
4841115 |
@@ -823,10 +823,11 @@
|
|
|
4841115 |
|
|
|
4841115 |
|
|
|
4841115 |
def create_linux_bundle_gunk(ddir: str, libdir_name: str) -> None:
|
|
|
4841115 |
- if not os.path.exists('docs/_build/html'):
|
|
|
4841115 |
- run_tool(['make', 'docs'])
|
|
|
4841115 |
- copy_man_pages(ddir)
|
|
|
4841115 |
- copy_html_docs(ddir)
|
|
|
4841115 |
+ if os.path.exists('/usr/bin/sphinx-build'):
|
|
|
4841115 |
+ if not os.path.exists('docs/_build/html'):
|
|
|
4841115 |
+ run_tool(['make', 'docs'])
|
|
|
4841115 |
+ copy_man_pages(ddir)
|
|
|
4841115 |
+ copy_html_docs(ddir)
|
|
|
4841115 |
icdir = os.path.join(ddir, 'share', 'icons', 'hicolor', '256x256', 'apps')
|
|
|
4841115 |
safe_makedirs(icdir)
|
|
|
4841115 |
shutil.copy2('logo/kitty.png', icdir)
|