diff options
Diffstat (limited to 'fix-website.sh')
-rwxr-xr-x | fix-website.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fix-website.sh b/fix-website.sh index f512a22..cebc1db 100755 --- a/fix-website.sh +++ b/fix-website.sh @@ -1,6 +1,6 @@ #! /usr/bin/env bash -set -u +set -eu shopt -s nullglob cd "doc/manual/html_node" |