KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix kitty.conf man page being installed in incorrect location

Browse Source 
Fixes #3543
This commit is contained in:
Kovid Goyal 2021-04-28 13:11:01 +05:30
parent 57b5e493a4
commit 93d4eca2d4
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
setup.py
View File

@ -827,6 +827,7 @@ def copy_man_pages(ddir: str) -> None:
safe_makedirs(mandir)
with suppress(FileNotFoundError):
shutil.rmtree(os.path.join(mandir, 'man1'))
shutil.rmtree(os.path.join(mandir, 'man5'))
src = 'docs/_build/man'
if not os.path.exists(src):
raise SystemExit('''\
@ -834,7 +835,10 @@ The kitty man page is missing. If you are building from git then run:
make && make docs
(needs the sphinx documentation system to be installed)
''')
shutil.copytree(src, os.path.join(mandir, 'man1'))
for x in '15':
os.makedirs(os.path.join(mandir, f'man{x}'))
for y in glob.glob(os.path.join(src, f'*.{x}')):
shutil.copy2(y, os.path.join(mandir, f'man{x}'))
def copy_html_docs(ddir: str) -> None: