diff options
Diffstat (limited to 'build_html.sh')
-rwxr-xr-x | build_html.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/build_html.sh b/build_html.sh index ae78080..cb33660 100755 --- a/build_html.sh +++ b/build_html.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -e -u -o pipefail +set -e -u -o pipefail -x TOPLEVEL=$(realpath $(dirname "$0")) cd "${TOPLEVEL}/proposals" @@ -11,5 +11,3 @@ mdbook build cd "${TOPLEVEL}/mdbook/proposals" mdbook build - - |