[m-rev.] diff: minor fix to dd documentation

[Julien Fischer]

(Ian, which way around are these things intended to be?)

Estimated hours taken: 0.1
Branches: main, release

doc/user_guide.texi:
	The option values to 'dd --search-mode' or 'dd -s'
	are 'top_down' and 'divide_and_query', not 'top-down'
	and 'divide-and-query'.

Workspace:/home/jupiter/juliensf/ws77
Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.435
diff -u -r1.435 user_guide.texi
--- user_guide.texi	9 May 2005 08:05:05 -0000	1.435
+++ user_guide.texi	17 May 2005 15:31:41 -0000
@@ -3331,9 +3331,9 @@
 @sp 1
 The @samp{-s at var{search-mode}} or @samp{--search-mode @var{search-mode}}
 option tells the declarative debugger which
-search mode to use.  Either @samp{top-down} or @samp{divide-and-query}
+search mode to use.  Either @samp{top_down} or @samp{divide_and_query}
 may be specified.  See @ref{Search Modes} for a more detailed description of
-the available search modes.  @samp{top-down} is the default when this option is
+the available search modes.  @samp{top_down} is the default when this option is
 not given.
 @sp 1
 Use the @samp{-r} or @samp{--resume} option to continue your previous

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------