[m-rev.] trivial diff: minor fixes for reference manual

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main, release

doc/reference_manual.texi:
	Work around a bug in texi2html that caused an @dots{} construct to
	be left in the generated HTML file.
	Also use ">>" rather than "->" in a couple of mode declarations.

Workspace: /mnt/mars/home/mars/fjh/ws1/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.212
diff -u -d -r1.212 reference_manual.texi
--- doc/reference_manual.texi	2001/07/25 15:49:53	1.212
+++ doc/reference_manual.texi	2001/07/31 17:58:50
@@ -3371,12 +3371,13 @@
 which maps an inst to itself.
 
 If you want to define a predicate which returns a higher-order predicate
-term, you would use a mode such as @samp{free -> pred(@dots{}) is @dots{}},
-or @samp{out(pred(@dots{}) is @dots{})}.  For example:
+term, you would use a mode such as @samp{free >> pred(@dots{}) is @dots{}},
+or @samp{out(pred(@dots{}) is @dots{} )}.  For example:
+ at c XXX The space after the dots{} above works around a bug in texi2html
 
 @example
 :- pred foo(pred(int)).
-:- mode foo(free -> pred(out) is det) is det.
+:- mode foo(free >> pred(out) is det) is det.
 
 foo(sum([1,2,3])).
 @end example

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------