[m-dev.] diff: doc/*.texi: put table of contents at start

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

doc/texinfo.tex:
	Update to the version from GNU TexInfo 4.0.

doc/*.texi:
	Move the table of contents from the end of the document
	to the start of the document (just after the title page).
	The only reason that it was at the end was that previous
	versions of TexInfo didn't support putting it at the start.

Index: faq.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/faq.texi,v
retrieving revision 1.23
diff -u -d -u -r1.23 faq.texi
--- faq.texi	1999/08/04 06:19:44	1.23
+++ faq.texi	2001/06/04 05:41:04
@@ -69,6 +69,7 @@
 into another language, under the above conditions for modified versions.
 @end titlepage
 @page
+ at contents
 
 @ifinfo
 @node Top,,, (mercury)
@@ -252,7 +253,6 @@
 
 @end enumerate
 
- at contents
 @bye
 
 @c XXX
cvs diff: I know nothing about library-chapters.texi
cvs diff: I know nothing about library-menu.texi
Index: library.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/library.texi,v
retrieving revision 1.16
diff -u -d -u -r1.16 library.texi
--- library.texi	1999/10/29 08:16:13	1.16
+++ library.texi	2001/06/04 05:41:56
@@ -58,6 +58,7 @@
 Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions.
 @end titlepage
+ at contents
 @page
 @c ---------------------------------------------------------------------------
 
@@ -103,5 +104,4 @@
 @include library-menu.texi
 @end menu
 @include library-chapters.texi
- at contents
 @bye
Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.206
diff -u -d -u -r1.206 reference_manual.texi
--- reference_manual.texi	2001/05/16 04:50:59	1.206
+++ reference_manual.texi	2001/06/04 05:43:16
@@ -65,6 +65,7 @@
 Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions.
 @end titlepage
+ at contents
 @page
 @c ---------------------------------------------------------------------------
 
@@ -7325,5 +7326,4 @@
 @end ifset
 @c aditi
 
- at contents
 @bye
Index: transition_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/transition_guide.texi,v
retrieving revision 1.35
diff -u -d -u -r1.35 transition_guide.texi
--- transition_guide.texi	2000/09/18 11:52:11	1.35
+++ transition_guide.texi	2001/06/04 05:42:50
@@ -58,6 +58,7 @@
 Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions.
 @end titlepage
+ at contents
 @page
 
 @ifinfo
Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.252
diff -u -d -u -r1.252 user_guide.texi
--- user_guide.texi	2001/05/31 06:00:00	1.252
+++ user_guide.texi	2001/06/04 05:46:54
@@ -62,6 +62,7 @@
 Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions.
 @end titlepage
+ at contents
 @page
 
 @ifinfo
@@ -4810,5 +4811,4 @@
 
 @end itemize
 
- at contents
 @bye

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------