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

…ment
nextstrain · Oct 17, 2024 · 7e594bc · 7e594bc
2 parents 4ce71eb + 1e58154
commit 7e594bc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -2,11 +2,11 @@
 #
 
 # You can set these variables from the command line, and also
-# from the environment for the first two.
+# from the environment for the first three.
 SPHINXOPTS    ?=
 SPHINXBUILD   ?= sphinx-build
+BUILDDIR      ?= build
 SOURCEDIR     = src
-BUILDDIR      = build
 
 # Put it first so that "make" without argument is like "make help".
 help:

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=src
-set BUILDDIR=build
 
 if "%1" == "" goto help