Allow BUILDDIR to be set from environment

Follow-up to "Allow BUILDDIR to be set from environment" (2f2f98b) where I forgot the existence of the make.bat file.
nextstrain · Oct 15, 2024 · 178d6e9 · 178d6e9
1 parent 6729396
commit 178d6e9
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