mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-10 05:45:35 +00:00
Cleanup previous PR
This commit is contained in:
parent
d9741421a8
commit
c852a56574
4 changed files with 128 additions and 91 deletions
|
|
@ -717,7 +717,7 @@ def setup_man_pages() -> None:
|
|||
base = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
|
||||
for x in glob.glob(os.path.join(base, 'docs/kittens/*.rst')):
|
||||
kn = os.path.basename(x).rpartition('.')[0]
|
||||
if kn == 'custom':
|
||||
if kn in ('custom', 'developing-builtin-kittens'):
|
||||
continue
|
||||
cd = get_kitten_cli_docs(kn) or {}
|
||||
khn = kn.replace('_', '-')
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue