From b83c073757d52a33cff36f55d300c2536a1f163e Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Wed, 16 Oct 2024 17:20:27 -0700
Subject: [PATCH] Allow BUILDDIR to be set from environment

No reason not to allow this.
---
 doc/Makefile | 4 ++--
 doc/make.bat | 4 +++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 2ab5a5ce..5330389e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,11 +3,11 @@
 SHELL := bash -euo pipefail
 
 # 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     = .
-BUILDDIR      = _build
 
 # Require stricter builds with
 #   -n: warn on missing references
diff --git a/doc/make.bat b/doc/make.bat
index 2119f510..24c26b22 100644
--- a/doc/make.bat
+++ b/doc/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