diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-09 14:56:21 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-09 16:42:47 -0500 |
commit | 729b79c61b9ac979563f34118add1d6b2ebd022f (patch) | |
tree | d43036e8ac5a5d77a0366f0135b8e356557f3100 /bin/build_html | |
parent | b9ba76e22180aaf1a3c848c74e4019727f7375ec (diff) | |
download | torspec-729b79c61b9ac979563f34118add1d6b2ebd022f.tar.gz torspec-729b79c61b9ac979563f34118add1d6b2ebd022f.zip |
Make mmdc optional.
The build script now only uses mmdc and a temporary conditionally,
and otherwise (for now) leaves mermaid blocks unformatted.
Diffstat (limited to 'bin/build_html')
-rwxr-xr-x | bin/build_html | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/bin/build_html b/bin/build_html index 533e17c..04b1f5e 100755 --- a/bin/build_html +++ b/bin/build_html @@ -10,12 +10,22 @@ cd "${TOPLEVEL}" ./bin/make_redirects -./bin/mermaid_cvt_svg - -trap 'rm -rf ${TOPLEVEL}/tmp_mermaid' 0 - -cd "${TOPLEVEL}/mdbook/spec" +if test -n "${MMDC:-}" || command -v "mmdc" >&/dev/null; then + TMPDIR=$(mktemp -d "${TOPLEVEL}/tmp_mmdc.XXXXXXXX") + trap 'rm -rf "$TMPDIR"' 0 + ./bin/mermaid_cvt_svg "$TMPDIR" + BUILD_ROOT="$TMPDIR" +else + BUILD_ROOT="$TOPLEVEL" +fi + +cd "${BUILD_ROOT}/mdbook/spec" $MDBOOK build -cd "${TOPLEVEL}/mdbook/proposals" +cd "${BUILD_ROOT}/mdbook/proposals" $MDBOOK build + +if test "${BUILD_ROOT}" != "${TOPLEVEL}"; then + rm -rf "${TOPLEVEL}/html" + mv "${BUILD_ROOT}/html" "${TOPLEVEL}/html" +fi |