[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[5391] rm previous info files
From: |
karl |
Subject: |
[5391] rm previous info files |
Date: |
Mon, 25 Nov 2013 18:24:08 +0000 |
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"
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [5391] rm previous info files,
karl <=