Proposed patch for gdb/mi 741

[Eli Zaretskii]

> Date: Tue, 10 Dec 2002 14:28:06 -0500
> From: "J. Johnston" <jjohnstn@redhat.com>
> > 
> > The doco patch is approved, with one minor gripe: you don't really 
> > explain the syntax of adding multiple directories.  One of the examples 
> > suggests that they should be separated by a colon, but that's probably 
> > not true for the DOS/Windows ports, where a semicolon should be used, 
> > right?  I suggest to add something about this to the doco.
> >
> 
> Actually, the multiple directories are input on the command,
> separated by blanks

See what I mean? ;-)

> (this is defined by the syntax of the command).  The separator found in
> the output of the command is dependenent on the system.  I have modified the
> doc slightly to add examples that specify more than one directory separated
> by a blank.  Is that sufficient to handle your concern?

It's better, but I'd prefer that the text said explicitly that
multiple directories should be separated by blanks.

(This, of course, raises the issue of directories whose names include
blanks ;-)