[5391] rm previous info files

[karl]

Revision: 5391
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=5391
Author:   karl
Date:     2013-11-25 18:24:07 +0000 (Mon, 25 Nov 2013)
Log Message:
-----------
rm previous info files

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/util/gendocs.sh

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2013-11-25 18:22:39 UTC (rev 5390)
+++ trunk/ChangeLog     2013-11-25 18:24:07 UTC (rev 5391)
@@ -1,5 +1,8 @@
 2013-11-25  Karl Berry  <address@hidden>
 
+       * util/gendocs.sh: remove $PACKAGE.info* before remaking,
+       in case the number of Info files decreases.
+
        * doc/texinfo.tex (\urefbreakfinish): change the default PDF
        output to show the url even if the second arg is given, like DVI.  
        Suggestion from Arnold Robbins.

Modified: trunk/util/gendocs.sh
===================================================================
--- trunk/util/gendocs.sh       2013-11-25 18:22:39 UTC (rev 5390)
+++ trunk/util/gendocs.sh       2013-11-25 18:24:07 UTC (rev 5391)
@@ -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 @@
 
 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"