From 922e43c376c5ff642b208a3da0c0c0f6f70e7c2f Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Wed, 16 Oct 2024 16:56:38 -0700
Subject: [PATCH] Fix BUILDDIR from environment

Follow-up to "Allow BUILDDIR to be set from environment" (178d6e97)
where I failed to follow through with copy/paste adjustments.
---
 make.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make.bat b/make.bat
index fcf2107..4f7e439 100644
--- 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