From cae8e585618f7d1ce498e7ff3dc5c0d6c461ccce Mon Sep 17 00:00:00 2001 From: scaramallion Date: Sat, 27 Jul 2024 18:08:52 +1000 Subject: [PATCH] Actually fix search --- docs/Makefile | 1 + docs/fix_search.py | 1 - docs/make.bat | 1 - 3 files changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index 57fada28e8..f5b3ef7057 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -60,6 +60,7 @@ html: rm -rf $(BUILDDIR)/html/_images #rm -rf _build/doctrees/ $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + python fix_search.py touch $(BUILDDIR)/html/.nojekyll @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." diff --git a/docs/fix_search.py b/docs/fix_search.py index 41e5d85291..3b3a6ba2eb 100644 --- a/docs/fix_search.py +++ b/docs/fix_search.py @@ -5,7 +5,6 @@ from pathlib import Path import re - search_html = Path("./_build/html/search.html") assert search_html.exists() diff --git a/docs/make.bat b/docs/make.bat index 9aa6ee6c9b..eaa1589d84 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -27,7 +27,6 @@ if errorlevel 9009 ( ) %SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% -python fix_search.py goto end :help