ayo/kitty
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix incomplete search results on kitty docs website search

Browse source 
Fixes #6342
This commit is contained in:
Kovid Goyal 2023-06-06 14:04:45 +05:30
parent 6293c3e1ac
commit f0bf780242
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
publish.py
View file

@ -101,6 +101,8 @@ def run_man(args: Any) -> None:
def run_html(args: Any) -> None:
# Force a fresh build otherwise the search index is not correct
shutil.rmtree(os.path.join(docs_dir, '_build', 'dirhtml'))
call('make FAIL_WARN=1 "OPTS=-D analytics_id=G-XTJK3R7GF2" dirhtml', cwd=docs_dir)
add_old_redirects('docs/_build/dirhtml')