blob: cb336607a3254396343e21f690f5e10c525284c3 (
plain)
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
|