bin/build_html


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