From 99790645c3c7b5fdc1e995e534318bb3fddf30f8 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 6 Jun 2023 14:36:17 +0530
Subject: [PATCH] Also rebuild the HTML docs that are bundled with the kitty
 package

---
 publish.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/publish.py b/publish.py
index 9f7398420..e3bcef6f9 100755
--- a/publish.py
+++ b/publish.py
@@ -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: