[m-dev.] diff: gud doc bug

[Peter Ross]

Hi,

This will be committed on the main and 0_9_x branch.

===================================================================


Estimated hours taken: 0.25

doc/user_guide.texi:
    s/gud-mdb-search/gud-mdb/

Index: doc/user_guide.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/user_guide.texi,v
retrieving revision 1.198
diff -u -r1.198 user_guide.texi
--- doc/user_guide.texi	1999/12/14 04:53:37	1.198
+++ doc/user_guide.texi	1999/12/24 03:29:26
@@ -1089,13 +1089,13 @@
 For more information on buffers, windows, and frames,
 see the Emacs documentation.
 
-Another useful Emacs variable is @samp{gud-mdb-search-directories}.
+Another useful Emacs variable is @samp{gud-mdb-directories}.
 This specifies the list of directories to search for source files.
 You can use a command such as
 
 @example
 M-x set-variable @key{RET}
-gud-mdb-search-directories @key{RET}
+gud-mdb-directories @key{RET}
 (list "/foo/bar" "../other" "/home/guest") @key{RET}
 @end example
 
@@ -1103,7 +1103,7 @@
 to set it interactively, or you can put a command like
 
 @example
-(setq gud-mdb-search-directories
+(setq gud-mdb-directories
   (list "/foo/bar" "../other" "/home/guest"))
 @end example
 
@@ -1113,7 +1113,7 @@
 At each trace event, the debugger will search for the
 source file corresponding to that event, first in the
 same directory as the program, and then in the directories
-specified by the @samp{gud-mdb-search-directories} variable.
+specified by the @samp{gud-mdb-directories} variable.
 It will display the source file, with the line number
 corresponding to that trace event marked by
 an arrow (@samp{=>}) at the start of the line.

----
Peter Ross
PhD Student University of Melbourne
http://www.cs.mu.oz.au/~petdr/
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------