From 10114746ef408b8678789b7e3d70dfd6c136dac4 Mon Sep 17 00:00:00 2001 From: unknown Date: Wed, 14 Aug 2024 18:37:31 +0200 Subject: [PATCH 1/3] Add htmllive --- make.bat | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/make.bat b/make.bat index 3358cb693c..bb984c4348 100644 --- a/make.bat +++ b/make.bat @@ -73,6 +73,7 @@ if not defined SPHINXBUILD ( ) set PYTHON=venv\Scripts\python set SPHINXBUILD=venv\Scripts\sphinx-build + set SPHIXAUTOBUILD=venv\Scripts\sphinx-autobuild ) if "%1" == "html" ( @@ -94,6 +95,12 @@ if "%1" == "htmlview" ( goto end ) +if "%1" == "htmllive" ( + %SPHIXAUTOBUILD% --re-ignore="/\.idea/|/venv/" --open-browser --delay 0 --port 55301 . %BUILDDIR%/html + if errorlevel 1 exit /b 1 + goto end +) + if "%1" == "dirhtml" ( %SPHINXBUILD% --builder dirhtml %ALLSPHINXOPTS% %BUILDDIR%/dirhtml if errorlevel 1 exit /b 1 From c7129ecd2120ec3a97a7e9aa34a87e7336c481e1 Mon Sep 17 00:00:00 2001 From: Lorenzo Del Signore <66021430+lorenzo-delsignore@users.noreply.github.com> Date: Wed, 14 Aug 2024 19:31:52 +0200 Subject: [PATCH 2/3] Fix typo Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com> --- make.bat | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/make.bat b/make.bat index bb984c4348..6b33e1667d 100644 --- a/make.bat +++ b/make.bat @@ -73,7 +73,7 @@ if not defined SPHINXBUILD ( ) set PYTHON=venv\Scripts\python set SPHINXBUILD=venv\Scripts\sphinx-build - set SPHIXAUTOBUILD=venv\Scripts\sphinx-autobuild + set SPHINXAUTOBUILD=venv\Scripts\sphinx-autobuild ) if "%1" == "html" ( @@ -96,7 +96,7 @@ if "%1" == "htmlview" ( ) if "%1" == "htmllive" ( - %SPHIXAUTOBUILD% --re-ignore="/\.idea/|/venv/" --open-browser --delay 0 --port 55301 . %BUILDDIR%/html + %SPHINXAUTOBUILD% --re-ignore="/\.idea/|/venv/" --open-browser --delay 0 --port 55301 . %BUILDDIR%/html if errorlevel 1 exit /b 1 goto end ) From 5fe54f001aa8dfc9856313cf05abc10cb208a4f0 Mon Sep 17 00:00:00 2001 From: Adam Turner <9087854+aa-turner@users.noreply.github.com> Date: Thu, 15 Aug 2024 14:18:02 +0100 Subject: [PATCH 3/3] Whitespace --- make.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/make.bat b/make.bat index a6a067ff3d..b486783665 100644 --- a/make.bat +++ b/make.bat @@ -86,6 +86,7 @@ if "%1" == "htmllive" ( if errorlevel 1 exit /b 1 goto end ) + %SPHINXBUILD% -M %1 "." %BUILDDIR% %_ALL_SPHINX_OPTS% goto end