diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-10-18 08:53:05 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-10-18 08:53:05 -0400 |
commit | 685aa2e5c1f6ad970b17006a4fe796b0dcf6d96e (patch) | |
tree | 03e9bbad9b7f5433d8d2d96ca273c867b44e140c /bin | |
parent | fbf4e71c7050d92b6f3b599e5764b59fbd1a7f13 (diff) | |
download | torspec-685aa2e5c1f6ad970b17006a4fe796b0dcf6d96e.tar.gz torspec-685aa2e5c1f6ad970b17006a4fe796b0dcf6d96e.zip |
Add "make_redirects" to build script.
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 |