Merge pull request #1652: docs: Allow BUILDDIR to be set from environment

victorlin · web-flow · commit 862aa3709120 · 2024-10-16T17:15:31.000-07:00
diff --git a/docs/make.bat b/docs/make.bat
@@ -7,8 +7,10 @@ REM Command file for Sphinx documentation
 if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
+if "%BUILDDIR%" == "" (
+	set BUILDDIR=_build
+)
 set SOURCEDIR=.
-set BUILDDIR=_build
 
 if "%1" == "" goto help
 
