From 5624076d792694006935bc86ff8a4b68bd9a6b54 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Fri, 9 May 2014 03:59:50 +0200 Subject: [PATCH] Newer version of the script upstream --- doc/docbook.sh | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/doc/docbook.sh b/doc/docbook.sh index e94749c..a53b3d4 100755 --- a/doc/docbook.sh +++ b/doc/docbook.sh @@ -33,6 +33,7 @@ FOP="fop" INSTALL="install -m 0644" MKDIR="mkdir -m 0755 -p" RM="rm -f" +XMLLINT="xmllint" XSLTPROC="xsltproc --nonet --xinclude" @@ -149,7 +150,16 @@ while [ $# -gt 0 ]; do ext="${target##*.}" ext="${ext##.}" case "$ext" in - html|pdf) + html) + instdir="$DATADIR/doc/$ext/$PACKAGE" + source="${target%.*}.xml" + xpath="string(/refentry/refmeta/manvolnum)" + section=$($XMLLINT --xpath "$xpath" "$source") + if [ $? -eq 0 -a -n "$section" ]; then + instdir="$DATADIR/man/html$section" + fi + ;; + pdf) instdir="$DATADIR/doc/$ext/$PACKAGE" ;; 1|2|3|4|5|6|7|8|9)