blob: 04b1f5ec65a81f22735397f4030ff105dc04805f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#!/usr/bin/env bash
set -e -u -o pipefail -x
: ${MDBOOK:=mdbook}
TOPLEVEL=$(realpath $(dirname "$0"))/..
cd "${TOPLEVEL}"
./bin/reindex
./bin/make_redirects
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 "${BUILD_ROOT}/mdbook/proposals"
$MDBOOK build
if test "${BUILD_ROOT}" != "${TOPLEVEL}"; then
rm -rf "${TOPLEVEL}/html"
mv "${BUILD_ROOT}/html" "${TOPLEVEL}/html"
fi
|
