From 3fb917d86aad672b63005ef44e4936fe1564a8ff Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 6 Nov 2023 12:18:04 +0000
Subject: build_html.sh: Honour MDBOOK environment variable

This can makes it easier to run the build in unusual situations.
---
 bin/build_html.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'bin')

diff --git a/bin/build_html.sh b/bin/build_html.sh
index 56b8b93..09b92e2 100755
--- a/bin/build_html.sh
+++ b/bin/build_html.sh
@@ -2,6 +2,8 @@
 
 set -e -u -o pipefail -x
 
+: ${MDBOOK:=mdbook}
+
 TOPLEVEL=$(realpath $(dirname "$0"))/..
 cd "${TOPLEVEL}"
 ./bin/reindex.py
@@ -9,7 +11,7 @@ cd "${TOPLEVEL}"
 ./bin/make_redirects.py
 
 cd "${TOPLEVEL}/mdbook/spec"
-mdbook build
+$MDBOOK build
 
 cd "${TOPLEVEL}/mdbook/proposals"
-mdbook build
+$MDBOOK build
-- 
cgit v1.2.3-54-g00ecf