[m-dev.] trivial diff: fix minor bug in mdb docs

[Mark Anthony BROWN]

Estimated hours taken: 0.1

doc/user_guide.texi:
	Fix a minor bug in the documentation for mdb's 'alias' command.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.214
diff -u -r1.214 user_guide.texi
--- doc/user_guide.texi	2000/08/08 04:57:39	1.214
+++ doc/user_guide.texi	2000/08/23 16:22:03
@@ -2282,12 +2282,12 @@
 the debugger will substitute the given command and parameters for this word
 before executing the command line.
 @sp 1
-If @var{command} is the upper-case word @samp{EMPTY},
+If @var{name} is the upper-case word @samp{EMPTY},
 the debugger will substitute the given command and parameters
 whenever the user types in an empty command line.
 @sp 1
 @sp 1
-If @var{command} is the upper-case word @samp{NUMBER},
+If @var{name} is the upper-case word @samp{NUMBER},
 the debugger will insert the given command and parameters
 before the command line
 whenever the user types in a command line that consists of a single 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
--------------------------------------------------------------------------