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 | |
parent | man: change systemd-udev to udev everywhere (diff) | |
download | eudev-887305880a592ee303aa4da9e8e1b76f0dc88944.tar.gz eudev-887305880a592ee303aa4da9e8e1b76f0dc88944.tar.bz2 eudev-887305880a592ee303aa4da9e8e1b76f0dc88944.zip |
man/make.sh: die if /usr/bin/xsltproc is not found
Signed-off-by: Anthony G. Basile <blueness@gentoo.org>
Diffstat (limited to 'man')
-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 4e2299e33..ca98f6058 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 \ |