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

…ment
nextstrain · Oct 17, 2024 · 862aa37 · 862aa37
2 parents 8f51460 + bf2cbc6
commit 862aa37
Showing 1 changed file with 3 additions and 1 deletion.
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