projects
/
gnulib.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
831b84c
)
autoupdate
author
Karl Berry
<karl@freefriends.org>
Tue, 26 Nov 2013 13:18:07 +0000
(
05:18
-0800)
committer
Karl Berry
<karl@freefriends.org>
Tue, 26 Nov 2013 13:18:07 +0000
(
05:18
-0800)
build-aux/gendocs.sh
[changed mode: 0755->0644]
patch
|
blob
|
history
diff --git
a/build-aux/gendocs.sh
b/build-aux/gendocs.sh
old mode 100755
(executable)
new mode 100644
(file)
index
98c7523
..
f9ec9df
--- 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.
# 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.
# 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)"
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"
eval "$cmd"
tar czf "$outdir/$PACKAGE.info.tar.gz" $PACKAGE.info*
ls -l "$outdir/$PACKAGE.info.tar.gz"