diff options
| author | Simon Josefsson <simon@josefsson.org> | 2014-04-22 20:50:00 +0200 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2014-04-22 20:50:00 +0200 |
| commit | 98533d5c3cac657b5aa841bd76de9b4ab7ca62f8 (patch) | |
| tree | d17e0a2b228deb13a340fdd2c1a19e837ba108a9 /build-aux/gendocs.sh | |
| parent | 3b7c1cb8728483db483086a4b6278c5ce53eed3f (diff) | |
| download | libtasn1-98533d5c3cac657b5aa841bd76de9b4ab7ca62f8.tar.gz libtasn1-98533d5c3cac657b5aa841bd76de9b4ab7ca62f8.tar.bz2 libtasn1-98533d5c3cac657b5aa841bd76de9b4ab7ca62f8.zip | |
Update gnulib files.
Diffstat (limited to 'build-aux/gendocs.sh')
| -rwxr-xr-x | build-aux/gendocs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 98c7523..f9ec9df 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=2013-03-08.15 +scriptversion=2013-10-10.09 # Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 # Free Software Foundation, Inc. @@ -272,6 +272,7 @@ mkdir -p "$outdir/" cmd="$SETLANG $MAKEINFO -o $PACKAGE.info $commonarg $infoarg \"$srcfile\"" echo "Generating info... ($cmd)" +rm -f $PACKAGE.info* # get rid of any strays eval "$cmd" tar czf "$outdir/$PACKAGE.info.tar.gz" $PACKAGE.info* ls -l "$outdir/$PACKAGE.info.tar.gz" |