Add htmllive to make.bat (python#1373)

* Add htmllive * Fix typo Co-authored-by: Hugo van Kemenade <[email protected]> * Whitespace --------- Co-authored-by: Hugo van Kemenade <[email protected]> Co-authored-by: Adam Turner <[email protected]>
hugovk · Sep 2, 2024 · b603868 · b603868
1 parent b28b066
commit b603868
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/make.bat b/make.bat
@@ -67,6 +67,7 @@ if not defined SPHINXBUILD (
 	)
 	set PYTHON=venv\Scripts\python
 	set SPHINXBUILD=venv\Scripts\sphinx-build
+	set SPHINXAUTOBUILD=venv\Scripts\sphinx-autobuild
 )
 
 if "%1" == "htmlview" (
@@ -80,6 +81,12 @@ if "%1" == "htmlview" (
 	goto end
 )
 
+if "%1" == "htmllive" (
+    %SPHINXAUTOBUILD% --re-ignore="/\.idea/|/venv/" --open-browser --delay 0 --port 55301 . %BUILDDIR%/html
+    if errorlevel 1 exit /b 1
+    goto end
+)
+
 %SPHINXBUILD% -M %1 "." %BUILDDIR% %_ALL_SPHINX_OPTS%
 goto end