[m-dev.] trivial diff: Fix option name in docs

[Mark Anthony BROWN]

Estimated hours taken: 0.1

doc/user_guide.texi:
	Fix an error in the documentation of a mmc option.

Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.173
diff -u -r1.173 user_guide.texi
--- user_guide.texi	1999/04/30 08:24:10	1.173
+++ user_guide.texi	1999/05/21 03:53:35
@@ -1728,7 +1728,7 @@
 to compile your query when you use one of the query commands:
 @samp{query}, @samp{cc_query}, or @samp{io_query}.
 For example, if a query results in a compile error,
-it may sometimes be helpful to use @samp{mmc_options --verbose-errors}.
+it may sometimes be helpful to use @samp{mmc_options --verbose-error-messages}.
 @sp 1
 @item printlevel none
 Sets the default print level to @samp{none}.

-- 
Mark Brown  (dougl at cs.mu.oz.au)       )O+   |  For Microsoft to win,
MEngSc student,                             |  the customer must lose
Dept of Computer Science, Melbourne Uni     |          -- Eric S. Raymond
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------