diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build_html.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/build_html.sh b/bin/build_html.sh index d58e3ed..56b8b93 100755 --- a/bin/build_html.sh +++ b/bin/build_html.sh @@ -6,6 +6,8 @@ TOPLEVEL=$(realpath $(dirname "$0"))/.. cd "${TOPLEVEL}" ./bin/reindex.py +./bin/make_redirects.py + cd "${TOPLEVEL}/mdbook/spec" mdbook build |