1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
#!/usr/bin/env bash set -e -u -o pipefail -x : ${MDBOOK:=mdbook} TOPLEVEL=$(realpath $(dirname "$0"))/.. cd "${TOPLEVEL}" ./bin/reindex ./bin/make_redirects cd "${TOPLEVEL}/mdbook/spec" $MDBOOK build cd "${TOPLEVEL}/mdbook/proposals" $MDBOOK build