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