mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-24 01:08:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

Also rebuild the HTML docs that are bundled with the kitty package

Browse Source
This commit is contained in:
Kovid Goyal
2023-06-06 14:36:17 +05:30
parent f0bf780242
commit 99790645c3
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
publish.py
View File

@@ -106,6 +106,9 @@ def run_html(args: Any) -> None:
call('make FAIL_WARN=1 "OPTS=-D analytics_id=G-XTJK3R7GF2" dirhtml', cwd=docs_dir)
add_old_redirects('docs/_build/dirhtml')
shutil.rmtree(os.path.join(docs_dir, '_build', 'html'))
call('make FAIL_WARN=1 "OPTS=-D analytics_id=G-XTJK3R7GF2" html', cwd=docs_dir)
def generate_redirect_html(link_name: str, bname: str) -> None:
with open(link_name, 'w') as f: