diff options
| author | Anthony G. Basile <blueness@gentoo.org> | 2014-11-01 13:22:24 -0400 |
|---|---|---|
| committer | Anthony G. Basile <blueness@gentoo.org> | 2014-11-01 13:22:24 -0400 |
| commit | 887305880a592ee303aa4da9e8e1b76f0dc88944 (patch) | |
| tree | bd5aff91959ab9e8a1154926fb3165faa2f25344 /man/make.sh | |
| parent | 2886f6c9e528b09a9fcea976f6f8568d7a327648 (diff) | |
man/make.sh: die if /usr/bin/xsltproc is not found
Signed-off-by: Anthony G. Basile <blueness@gentoo.org>
Diffstat (limited to 'man/make.sh')
| -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 \ |