diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-06 12:18:04 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-06 12:39:53 +0000 |
commit | 3fb917d86aad672b63005ef44e4936fe1564a8ff (patch) | |
tree | 615875d8986cd3fa92325f557f45134b3da1f830 /bin | |
parent | 89f63711749e6173c7cbf979b9873f48d1b6c384 (diff) | |
download | torspec-3fb917d86aad672b63005ef44e4936fe1564a8ff.tar.gz torspec-3fb917d86aad672b63005ef44e4936fe1564a8ff.zip |
build_html.sh: Honour MDBOOK environment variable
This can makes it easier to run the build in unusual situations.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/build_html.sh | 6 |
1 files changed, 4 insertions, 2 deletions
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 |