diff: get rid of the @dir... commands in *.texi

[Fergus Henderson]

Estimated hours taken: 0.1

doc/faq.texi:
doc/library.texi:
doc/reference_manual.texi:
doc/transition_guide.texi:
doc/user_guide.texi:
	Comment out the @direntry and @dircategory commands.
	They were not needed (since they weren't actually being used --
	only the corresponding commands in mercury.info were being used),
	and caused problems for the HTML version, because the current
	version of texi2html that we have does not yet implement those
	new TexInfo commands.  They also caused some problems due to
	many of our machines having older versions of `makeinfo' which
	don't support the new commands yet either.

Index: doc/faq.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/faq.texi,v
retrieving revision 1.21
diff -u -r1.21 faq.texi
--- faq.texi	1999/02/21 10:09:37	1.21
+++ faq.texi	1999/03/24 12:20:42
@@ -1,10 +1,12 @@
 \input texinfo
 @setfilename mercury_faq.info
 @settitle The Mercury FAQ list
- at dircategory The Mercury Programming Language
- at direntry
-* Mercury FAQ: (mercury_faq). The Mercury Frequently Asked Questions list.
- at end direntry
+
+ at c --- texi2html doesn't support the @dir commands yet
+ at c @dircategory The Mercury Programming Language
+ at c @direntry
+ at c * Mercury FAQ: (mercury_faq). The Mercury Frequently Asked Questions list.
+ at c @end direntry
 
 @c failed attempt to control spacing
 @c @tex
Index: doc/library.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/library.texi,v
retrieving revision 1.14
diff -u -r1.14 library.texi
--- library.texi	1999/02/21 10:09:38	1.14
+++ library.texi	1999/03/24 12:20:58
@@ -1,10 +1,12 @@
 \input texinfo
 @setfilename mercury_library.info
 @settitle The Mercury Library Reference Manual
- at dircategory The Mercury Programming Language
- at direntry
-* Mercury Library: (mercury_library).  The Mercury Library Reference Manual.
- at end direntry
+
+ at c --- texi2html doesn't support the @dir commands yet
+ at c @dircategory The Mercury Programming Language
+ at c @direntry
+ at c * Mercury Library: (mercury_library).  The Mercury Library Reference Manual.
+ at c @end direntry
 
 @c @smallbook
 @c @cropmarks
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.135
diff -u -r1.135 reference_manual.texi
--- reference_manual.texi	1999/03/24 05:50:36	1.135
+++ reference_manual.texi	1999/03/24 12:21:16
@@ -1,10 +1,12 @@
 \input texinfo
 @setfilename mercury_ref.info
 @settitle The Mercury Language Reference Manual
- at dircategory The Mercury Programming Language
- at direntry
-* Mercury Language: (mercury_ref).  The Mercury Language Reference Manual.
- at end direntry
+
+ at c --- texi2html doesn't support the @dir commands yet
+ at c @dircategory The Mercury Programming Language
+ at c @direntry
+ at c * Mercury Language: (mercury_ref).  The Mercury Language Reference Manual.
+ at c @end direntry
 
 @c Uncomment the line below to enable documentation of the Aditi interface.
 @c @set aditi
Index: doc/transition_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/transition_guide.texi,v
retrieving revision 1.26
diff -u -r1.26 transition_guide.texi
--- transition_guide.texi	1999/02/21 10:09:41	1.26
+++ transition_guide.texi	1999/03/24 12:21:31
@@ -1,10 +1,12 @@
 \input texinfo
 @setfilename mercury_trans_guide.info
 @settitle The Prolog to Mercury transition guide
- at dircategory The Mercury Programming Language
- at direntry
-* Mercury Transition Guide: (mercury_trans_guide). The Prolog to Mercury Transition Guide.
- at end direntry
+
+ at c --- texi2html doesn't support the @dir commands yet
+ at c @dircategory The Mercury Programming Language
+ at c @direntry
+ at c * Mercury Transition Guide: (mercury_trans_guide). The Prolog to Mercury Transition Guide.
+ at c @end direntry
 
 @c @smallbook
 @c @cropmarks
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.161
diff -u -r1.161 user_guide.texi
--- user_guide.texi	1999/03/18 01:05:37	1.161
+++ user_guide.texi	1999/03/24 12:22:17
@@ -1,10 +1,12 @@
 \input texinfo
 @setfilename mercury_user_guide.info
 @settitle The Mercury User's Guide
- at dircategory The Mercury Programming Language
- at direntry
-* Mercury User's Guide: (mercury_user_guide).  The Mercury User's Guide.
- at end direntry
+
+ at c --- texi2html doesn't support the @dir commands yet
+ at c @dircategory The Mercury Programming Language
+ at c @direntry
+ at c * Mercury User's Guide: (mercury_user_guide).  The Mercury User's Guide.
+ at c @end direntry
 
 @c Uncomment the line below to enable documentation of the Aditi interface.
 @c @set aditi

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.