From 2f2f98b89224bb8287ffdaa04f9e8b48952e4231 Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Fri, 11 Oct 2024 16:53:52 -0700
Subject: [PATCH] Allow BUILDDIR to be set from environment

No reason not to allow this.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 36cb3ff7..cba61383 100644
--- a/Makefile
+++ b/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: