bin/build_html.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/usr/bin/env bash

set -e -u -o pipefail -x

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

./bin/make_redirects.py

cd "${TOPLEVEL}/mdbook/spec"
mdbook build

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