Merge pull request #234: make.bat: Fix BUILDDIR from environment

nextstrain · Oct 17, 2024 · 7bcaf2d · 7bcaf2d
2 parents 92bdf7c + 922e43c
commit 7bcaf2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make.bat b/make.bat
@@ -8,7 +8,7 @@ if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
 if "%BUILDDIR%" == "" (
-	set SPHINXBUILD=build
+	set BUILDDIR=build
 )
 set SOURCEDIR=src