#!/usr/bin/env bash

set -e -u -o pipefail -x

: ${MDBOOK:=mdbook}
: ${MDBOOK_MERMAID:=mdbook-mermaid}

TOPLEVEL=$(realpath $(dirname "$0"))/..
cd "${TOPLEVEL}"
./bin/reindex

./bin/make_redirects

cd "${TOPLEVEL}/mdbook/spec"
# We try to use mdbook-mermaid to reinstall mermaid.min.js so that we get the
# latest version.  But if mdbook-mermaid is not installed then we carry on.
rm -f mermaid.min.js
if $MDBOOK_MERMAID install .; then
    :
else
    touch mermaid.min.js
fi

$MDBOOK build

cd "${TOPLEVEL}/mdbook/proposals"
$MDBOOK build
