diff --git a/docs/Makefile b/docs/Makefile index 57fada28e..f5b3ef705 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 41e5d8529..3b3a6ba2e 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 9aa6ee6c9..eaa1589d8 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