mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-18 14:34:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'docs-kittens' of https://github.com/page-down/kitty

Browse Source
This commit is contained in:
Kovid Goyal
2021-12-10 17:22:42 +05:30
parent f51779d93a 121d86fb1c
commit a4fff7abe3
8 changed files with 24 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
publish.py
View File

@@ -80,16 +80,9 @@ def run_html(args: Any) -> None:
add_old_redirects('docs/_build/dirhtml')
def add_old_redirects(loc: str) -> None:
for dirpath, dirnames, filenames in os.walk(loc):
if dirpath != loc:
for fname in filenames:
if fname == 'index.html':
bname = os.path.basename(dirpath)
base = os.path.dirname(dirpath)
link_name = os.path.join(base, f'{bname}.html') if base else f'{bname}.html'
with open(link_name, 'w') as f:
f.write(f'''
def generate_redirect_html(link_name: str, bname: str) -> None:
with open(link_name, 'w') as f:
f.write(f'''
<html>
<head>
<title>Redirecting...</title>
@@ -108,6 +101,19 @@ window.location.replace('./{bname}/' + window.location.hash);
''')
def add_old_redirects(loc: str) -> None:
for dirpath, dirnames, filenames in os.walk(loc):
if dirpath != loc:
for fname in filenames:
if fname == 'index.html':
bname = os.path.basename(dirpath)
base = os.path.dirname(dirpath)
link_name = os.path.join(base, f'{bname}.html') if base else f'{bname}.html'
generate_redirect_html(link_name, bname)
generate_redirect_html(os.path.join(loc, 'kittens', 'unicode-input.html'), 'unicode_input')
def run_docs(args: Any) -> None:
subprocess.check_call(['make', 'docs'])