From 3cba6c8d19d91beaf0381c8514a1b776c37bf834 Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Sat, 10 Jan 2004 04:21:44 +0000
Subject: [PATCH] Sync with Texinfo.

---
 doc/gendocs.sh       |  2 +-
 doc/gendocs_template | 10 ++++++----
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/doc/gendocs.sh b/doc/gendocs.sh
index c5c72b6e..34a1f7bf 100755
--- a/doc/gendocs.sh
+++ b/doc/gendocs.sh
@@ -30,7 +30,7 @@ scripturl="http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs.
 templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs_template"
 
 : ${MAKEINFO="makeinfo"}
-: ${TEXI2DVI="texi2dvi"}
+: ${TEXI2DVI="texi2dvi -t @finalout"}
 : ${DVIPS="dvips"}
 : ${DOCBOOK2TXT="docbook2txt"}
 : ${DOCBOOK2HTML="docbook2html"}
diff --git a/doc/gendocs_template b/doc/gendocs_template
index 66788c41..22ac70d7 100755
--- a/doc/gendocs_template
+++ b/doc/gendocs_template
@@ -46,18 +46,20 @@
   <P>
 </UL>
 
+<P>The manual is also available in a few experimental formats:
+
 <P>
 <UL>
   <LI><A HREF="../reference/c4.html">GTK-DOC HTML</A>.
 </UL>
 
-<P>(This page generated by the <A
-HREF="%%SCRIPTURL%%">%%SCRIPTNAME%%</A> script.)
+<P><SMALL>(This page generated by the <A
+HREF="%%SCRIPTURL%%">%%SCRIPTNAME%%</A> script.)</SMALL>
 
 <HR>
-Return to <A HREF="/home.html">GNU's home page</A>.
+Return to the <A HREF="/home.html">GNU Project home page</A>.
 
-<P>Comments on these web pages to
+<P>Comments and corrections for these web pages to
 <A HREF="mailto:webmasters@www.gnu.org"><EM>webmasters@www.gnu.org</EM></A>,
 send other FSF &amp; GNU questions and inquiries to
 <A HREF="mailto:gnu@gnu.org"><EM>gnu@gnu.org</EM></A>.
-- 
2.11.4.GIT