[m-dev.] Trivial diff: Minor fixes to user guide

[Warwick Harvey]

Estimated hours taken: 3 (including time to learn enough about TeXinfo to 
figure out what was going on)

New versions of TeXinfo are more picky about the correct use of `@xref' and 
friends.  In particular, they insist that an `@xref' be followed immediately 
by a comma or a full stop.  There were a few instances in the user manual 
where this was not the case.

doc/user_guide.texi:
	Changed a few incorrect uses of `@xref' to use `@ref' instead, to
	keep texinfo happy.


diff -u -r1.176 user_guide.texi
--- user_guide.texi     1999/06/01 09:44:47     1.176
+++ user_guide.texi     1999/06/08 03:48:44
@@ -412,14 +412,14 @@
 @item @var{main-module}.split
 Compiles and links @var{main-module} using the Mercury compiler,
 with the Mercury compiler's @samp{--split-c-files} option enabled.
- at xref{Output-level (LLDS -> C) optimization options} for more information
-about @samp{--split-c-files}.
+For more information about @samp{--split-c-files}, see
+ at ref{Output-level (LLDS -> C) optimization options}.
 
 @item lib at var{main-module}
 Builds a library whose top-level module is @var{main-module}.
 This will build a static object library, a shared object library
 (for platforms that support it), and the necessary interface files.
- at xref{Libraries} for more information.
+For more information, see @ref{Libraries}.
 
 @item @var{main-module}.clean
 Removes the automatically generated files
@@ -1951,8 +1951,8 @@
 seperately).  If you are using Mmake, then
 you can do this by setting the @samp{GRADEFLAGS} variable in your Mmakefile,
 e.g. by adding the line @samp{GRADEFLAGS=--profiling}. 
- at xref{Compilation model options} for more information about the
-different grades.
+For more information about the different grades, see
+ at ref{Compilation model options}.
 
 Enabling profiling has several effects.  Firstly, it causes the
 compiler to generate slightly modified code which counts the number


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------