build_html.sh


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

#!/usr/bin/env bash

set -e -u -o pipefail -x

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

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

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