diff options
| author | Karl Berry <karl@freefriends.org> | 2009-01-02 08:11:41 -0800 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-01-02 08:11:41 -0800 |
| commit | ce3358a1c4bcc80813df655e1273f22c2063f95b (patch) | |
| tree | d374add3050f919e9aae8a3f31465f97a923cd28 /build-aux/gendocs.sh | |
| parent | e87d931500c732d57c5040f4a4a147d6875267fa (diff) | |
| download | gnulib-ce3358a1c4bcc80813df655e1273f22c2063f95b.tar.gz | |
autoupdate (for gendocs.sh accepting --email)
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 6eaf234629..ba767441ad 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=2009-01-01.11 +scriptversion=2009-01-02.08 # Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009 # Free Software Foundation, Inc. @@ -253,7 +253,7 @@ if test -z "$use_texi2html"; then mv ${split_html_dir}/*.html $outdir/html_node/ rmdir ${split_html_dir} else - cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html $htmlarg \"$srcfile\"" + cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html $htmlarg \"$srcfile\"" echo "Generating monolithic html... ($cmd)" rm -rf $PACKAGE.html # in case a directory is left over eval "$cmd" |