diff options
author | Bruce Korb <bkorb@gnu.org> | 2011-05-06 08:15:59 -0700 |
---|---|---|
committer | Bruce Korb <bkorb@gnu.org> | 2011-05-06 08:15:59 -0700 |
commit | 10c1e9dc30730133dbb631c9be0a4e84ce0b0eaa (patch) | |
tree | c1ecc41b19fbec4e92c119d5cba945b8b91ac7d7 /build-aux/gendocs.sh | |
parent | 9bccf2c3e4f68a37499615fddd51c727d6bb2624 (diff) | |
parent | d801cb77b966678e21af7a106b15a3fe598d5ec4 (diff) | |
download | gnulib-10c1e9dc30730133dbb631c9be0a4e84ce0b0eaa.tar.gz |
manual mergetopic/libposix
Diffstat (limited to 'build-aux/gendocs.sh')
-rwxr-xr-x | build-aux/gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 34ef112e35..c8abd55fb3 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -2,7 +2,7 @@ # gendocs.sh -- generate a GNU manual in many formats. This script is # mentioned in maintain.texi. See the help message below for usage details. -scriptversion=2010-11-29.11 +scriptversion=2011-04-08.14 # Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 Free Software # Foundation, Inc. @@ -305,10 +305,10 @@ if test -n "$docbook"; then docbook_xml_gz_size=`calcsize "$outdir/$PACKAGE-db.xml.gz"` mv $PACKAGE-db.xml "$outdir/" + split_html_db_dir=html_node_db cmd="${DOCBOOK2HTML} -o $split_html_db_dir \"${outdir}/$PACKAGE-db.xml\"" echo "Generating docbook HTML... ($cmd)" eval "$cmd" - split_html_db_dir=html_node_db ( cd ${split_html_db_dir} || exit 1 tar -czf "$abs_outdir/${PACKAGE}.html_node_db.tar.gz" -- *.html |