[m-rev.] trivial diff: fix references in reference manual

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

doc/reference_manual.texi:
 	Use @ref{} instead of @pxref{} in a couple of spot.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.417
diff -u -r1.417 reference_manual.texi
--- reference_manual.texi	22 Jan 2008 15:06:26 -0000	1.417
+++ reference_manual.texi	24 Jan 2008 04:26:13 -0000
@@ -861,7 +861,7 @@
  to not have any affect on the execution of the program itself,
  but to be confined to the provision of extra information
  for the user of the program.
-See @pxref{Trace goals} for the details.
+See @ref{Trace goals} for the details.

  @item @code{@var{Call}}
  Any goal which does not match any of the above forms
@@ -7336,7 +7336,7 @@
  the mapping established by the @samp{pragma foreign_export_enum}
  declaration.

-As noted in the @pxref{C data passing conventions}, the type of these
+As noted in the @ref{C data passing conventions}, the type of these
  values is @samp{MR_Word}.

  The default mapping used by @samp{pragma foreign_export_enum}

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------