From b6038680035688a3ce472601fdf5c6dd8fde1894 Mon Sep 17 00:00:00 2001
From: Lorenzo Del Signore
 <66021430+lorenzo-delsignore@users.noreply.github.com>
Date: Mon, 2 Sep 2024 14:06:56 +0200
Subject: [PATCH] Add htmllive to make.bat  (#1373)

* Add htmllive

* Fix typo

Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>

* Whitespace

---------

Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Co-authored-by: Adam Turner <9087854+aa-turner@users.noreply.github.com>
---
 make.bat | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/make.bat b/make.bat
index c2ba9b7149..b486783665 100644
--- 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