diff options
| author | Karl Berry <karl@freefriends.org> | 2011-04-08 15:02:14 -0700 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2011-04-08 15:02:14 -0700 |
| commit | 306bd09ac7e6d8cb9983da12613f680c933d15dd (patch) | |
| tree | 6e563e9d5e0aca4862210aadafa70ec4c5f8c1d3 /build-aux/gendocs.sh | |
| parent | cb4ce86374195eccbc3591f74a0c7b8168273667 (diff) | |
| download | gnulib-306bd09ac7e6d8cb9983da12613f680c933d15dd.tar.gz | |
autoupdate
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 |