[m-rev.] trivial diff: fix cross-reference

[Mark Brown]

Hi,

This fixes a cross reference in the reference manual.  Note that @xref
should be used at the start of a sentence, @pxref should be used in
parentheses, and @ref should be used in the middle or at the end of a
sentence.

Cheers,
Mark.

Estimated hours taken: 0.1
Branches: main

doc/reference_manual.texi:
	Fix a cross-reference.

Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.322
diff -u -r1.322 reference_manual.texi
--- doc/reference_manual.texi	29 Aug 2005 03:22:28 -0000	1.322
+++ doc/reference_manual.texi	31 Aug 2005 01:44:05 -0000
@@ -5690,7 +5690,7 @@
 @dfn{strict sequential} operational semantics.  In this semantics,
 the program is executed top-down, starting from @samp{main/2}
 preceded by any module initialisation goals
-(as per @xref{Optional module initialisation}),
+(as per @ref{Optional module initialisation}),
 and function calls within a goal, conjunctions and disjunctions are all
 executed in depth-first left-to-right order. 
 Conjunctions and function calls are ``minimally'' reordered as required
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------