Don't rebuild search index by default

Author: hugovk

.github/workflows/render.yml

@@ -42,7 +42,7 @@ jobs:
           python -m pip install --upgrade pip
 
       - name: Render PEPs
-        run: make dirhtml JOBS=$(nproc)
+        run: make dirhtml pagefind JOBS=$(nproc)
 
         # remove the .doctrees folder when building for deployment as it takes two thirds of disk space
       - name: Clean up files

.readthedocs.yaml

@@ -13,7 +13,7 @@ build:
     - asdf plugin add uv
     - asdf install uv latest
     - asdf global uv latest
-    - make dirhtml JOBS=$(nproc) BUILDDIR=_readthedocs/html
+    - make dirhtml pagefind JOBS=$(nproc) BUILDDIR=_readthedocs/html
 
 sphinx:
   builder: dirhtml

Makefile

@@ -22,7 +22,6 @@ ALLSPHINXOPTS = --builder $(BUILDER) \
 .PHONY: html
 html: venv
 	$(SPHINXBUILD) $(ALLSPHINXOPTS)
-	$(VENVDIR)/bin/python3 -m pagefind --site $(BUILDDIR) --verbose
 
 ## htmlview       to open the index page built by the html target in your browser
 .PHONY: htmlview
@@ -43,6 +42,11 @@ dirhtml: BUILDER = dirhtml
 dirhtml: html
 	mv $(BUILDDIR)/404/index.html $(BUILDDIR)/404.html
 
+## pagefind       to rebuild the search index
+.PHONY: pagefind
+pagefind: venv
+	$(VENVDIR)/bin/python3 -m pagefind --site $(BUILDDIR) --verbose
+
 ## linkcheck      to check validity of links within PEP sources
 .PHONY: linkcheck
 linkcheck: BUILDER = linkcheck