From f0bf7802423df882f55afc1ceb26a0bda2691d1e Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 6 Jun 2023 14:04:45 +0530
Subject: [PATCH] Fix incomplete search results on kitty docs website search

Fixes #6342
---
 publish.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/publish.py b/publish.py
index 4013051ad..9f7398420 100755
--- a/publish.py
+++ b/publish.py
@@ -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')