[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
texinfo update (Wed Mar 5 07:53:01 EST 2008)
From: |
Karl Berry |
Subject: |
texinfo update (Wed Mar 5 07:53:01 EST 2008) |
Date: |
Wed, 05 Mar 2008 07:53:03 -0500 |
Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.848
retrieving revision 1.849
diff -u -r1.848 -r1.849
--- ChangeLog 5 Mar 2008 10:04:25 -0000 1.848
+++ ChangeLog 5 Mar 2008 12:39:23 -0000 1.849
@@ -1,5 +1,8 @@
2008-03-05 Sergey Poznyakoff <address@hidden>
+ * util/gendocs.sh: Pass --node-files to texi2html only together
+ with the --split option.
+
* info/session.c (last_node_p): Remove unused variable.
(info_search_internal): Print a message if the search wraps over
the end or beginning of the document.
Index: util/gendocs.sh
===================================================================
RCS file: /sources/texinfo/texinfo/util/gendocs.sh,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
--- util/gendocs.sh 13 Jan 2008 18:50:21 -0000 1.24
+++ util/gendocs.sh 5 Mar 2008 12:39:13 -0000 1.25
@@ -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=2008-01-13.10
+scriptversion=2008-03-05.14
# Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
# Free Software Foundation, Inc.
@@ -122,8 +122,7 @@
-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
@@ -200,7 +199,7 @@
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
P ChangeLog
P util/gendocs.sh
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- texinfo update (Wed Mar 5 07:53:01 EST 2008),
Karl Berry <=