blob: ae78080db0153538c4d23ba99ecc55d2211675b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/usr/bin/env bash
set -e -u -o pipefail
TOPLEVEL=$(realpath $(dirname "$0"))
cd "${TOPLEVEL}/proposals"
./reindex.py
cd "${TOPLEVEL}/mdbook/spec"
mdbook build
cd "${TOPLEVEL}/mdbook/proposals"
mdbook build
|