Infra: Add make htmllive to rebuild and reload HTML files in your b…

…rowser (#3521) Add 'make htmllive' to rebuild and reload HTML files in your browser
python · Nov 12, 2023 · f7ccb48 · f7ccb48
1 parent 9afa294
commit f7ccb48
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -26,6 +26,12 @@ html: venv
 htmlview: html
 	$(PYTHON) -c "import os, webbrowser; webbrowser.open('file://' + os.path.realpath('build/index.html'))"
 
+## htmllive       to rebuild and reload HTML files in your browser
+.PHONY: htmllive
+htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild
+htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/"
+htmllive: html
+
 ## dirhtml        to render PEPs to "index.html" files within "pep-NNNN" directories
 .PHONY: dirhtml
 dirhtml: BUILDER = dirhtml

diff --git a/requirements.txt b/requirements.txt
@@ -5,6 +5,8 @@ Pygments >= 2.9.0
 Sphinx >= 5.1.1, != 6.1.0, != 6.1.1
 docutils >= 0.19.0
 
+sphinx-autobuild
+
 # For tests
 pytest
 pytest-cov