#!/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