Newer version of the script upstream

2014-05-09 03:50:05 +02:00 · 2014-05-09 03:50:05 +02:00 · 30b9b150f4
commit 30b9b150f4
parent a2c0c784d6
1 changed files with 4 additions and 2 deletions
--- a/doc/docbook.sh
+++ b/doc/docbook.sh
@ -151,11 +151,13 @@ while [ $# -gt 0 ]; do
 	ext="${ext##.}"
 	case "$ext" in
 		html)
+			instdir="$DATADIR/doc/$ext/$PACKAGE"
 			source="${target%.*}.xml"
 			xpath="string(/refentry/refmeta/manvolnum)"
 			section=$($XMLLINT --xpath "$xpath" "$source")
-			[ $? -eq 0 -a -n "$section" ]		|| exit 2
+			if [ $? -eq 0 -a -n "$section" ]; then
 				instdir="$DATADIR/man/html$section"
+			fi
 			;;
 		pdf)
 			instdir="$DATADIR/doc/$ext/$PACKAGE"