diff options
Diffstat (limited to 'community/kitty/disable-docs.patch')
-rw-r--r-- | community/kitty/disable-docs.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/community/kitty/disable-docs.patch b/community/kitty/disable-docs.patch new file mode 100644 index 00000000000..47e78523b2e --- /dev/null +++ b/community/kitty/disable-docs.patch @@ -0,0 +1,20 @@ +HTML docs and even man pages require some extra Sphinx extensions +to be installed. + +diff -upr kitty-0.24.3.orig/setup.py kitty-0.24.3/setup.py +diff --git a/setup.py b/setup.py +index 5b3bf05..5ef7a68 100755 +--- a/setup.py ++++ b/setup.py +@@ -1086,11 +1086,6 @@ def c(base_path: str, **kw: object) -> None: + + + def create_linux_bundle_gunk(ddir: str, libdir_name: str) -> None: +- if not os.path.exists('docs/_build/html'): +- make = 'gmake' if is_freebsd else 'make' +- run_tool([make, 'docs']) +- copy_man_pages(ddir) +- copy_html_docs(ddir) + for (icdir, ext) in {'256x256': 'png', 'scalable': 'svg'}.items(): + icdir = os.path.join(ddir, 'share', 'icons', 'hicolor', icdir, 'apps') + safe_makedirs(icdir) |