diff options
| -rwxr-xr-x | man/make.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/make.sh b/man/make.sh index 4e2299e33f..ca98f60585 100755 --- a/man/make.sh +++ b/man/make.sh @@ -1,5 +1,7 @@ #/bin/sh +set -e + XSLTPROC="/usr/bin/xsltproc" XSLTPROC_FLAGS="--stringparam man.output.quietly 1 \ |