projects
/
pspp
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
679b14d
)
autoupdate
author
Karl Berry
<karl@freefriends.org>
Fri, 7 Mar 2008 16:38:32 +0000
(08:38 -0800)
committer
Karl Berry
<karl@freefriends.org>
Fri, 7 Mar 2008 16:38:32 +0000
(08:38 -0800)
build-aux/gendocs.sh
patch
|
blob
|
history
diff --git
a/build-aux/gendocs.sh
b/build-aux/gendocs.sh
index 480c1d481a6077492c53e018e7bb2274a9b3f4b3..5247034fe0bb6cf417637f7e4894f19c3285c034 100755
(executable)
--- 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=2008-0
1-13.10
+scriptversion=2008-0
3-05.14
# Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
# Free Software Foundation, Inc.
# Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
# Free Software Foundation, Inc.
@@
-122,8
+122,7
@@
while test $# -gt 0; do
-o) shift; outdir=$1;;
--docbook) docbook=yes;;
--html) shift; html=$1;;
-o) shift; outdir=$1;;
--docbook) docbook=yes;;
--html) shift; html=$1;;
- --texi2html) use_texi2html=1
- html="$html --node-files";;
+ --texi2html) use_texi2html=1;;
-*)
echo "$0: Unknown or ambiguous option \`$1'." >&2
echo "$0: Try \`--help' for more information." >&2
-*)
echo "$0: Unknown or ambiguous option \`$1'." >&2
echo "$0: Try \`--help' for more information." >&2
@@
-200,7
+199,7
@@
ascii_gz_size=`calcsize $outdir/$PACKAGE.txt.gz`
mv $PACKAGE.txt $outdir/
html_split() {
mv $PACKAGE.txt $outdir/
html_split() {
- cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html --split=$1 $html \"$srcfile\""
+ cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html --split=$1 $html
--node-files
\"$srcfile\""
echo "Generating html by $1... ($cmd)"
eval "$cmd"
split_html_dir=$PACKAGE.html
echo "Generating html by $1... ($cmd)"
eval "$cmd"
split_html_dir=$PACKAGE.html