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

nextstrain · Oct 16, 2024 · 92bdf7c · 92bdf7c
2 parents 6729396 + 178d6e9
commit 92bdf7c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/make.bat b/make.bat
@@ -7,8 +7,10 @@ REM Command file for Sphinx documentation
 if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
+if "%BUILDDIR%" == "" (
+	set SPHINXBUILD=build
+)
 set SOURCEDIR=src
-set BUILDDIR=build
 
 if "%1" == "" goto help