mirror of
https://github.com/kovidgoyal/kitty.git
synced 2024-11-13 12:09:35 +03:00
...
This commit is contained in:
parent
93d4eca2d4
commit
3206e1b12c
2
setup.py
2
setup.py
@ -831,7 +831,7 @@ def copy_man_pages(ddir: str) -> None:
|
||||
src = 'docs/_build/man'
|
||||
if not os.path.exists(src):
|
||||
raise SystemExit('''\
|
||||
The kitty man page is missing. If you are building from git then run:
|
||||
The kitty man pages are missing. If you are building from git then run:
|
||||
make && make docs
|
||||
(needs the sphinx documentation system to be installed)
|
||||
''')
|
||||
|
Loading…
Reference in New Issue
Block a user