Re: [patch v6 3/3] Documentation for the remove-symbol-file command.

[Eli Zaretskii <eliz@gnu.org>]

> Date: Thu, 06 Jun 2013 17:49:28 +0200
> From: Luis Machado <lgustavo@codesourcery.com>
> CC: gdb-patches@sourceware.org, palves@redhat.com, tromey@redhat.com, 
>  eliz@gnu.org, yao@codesourcery.com, dje@google.com
> 
> > +remove-symbol-file FILENAME
> > +remove-symbol-file -a ADDRESS
> > +  Remove a symbol file added via add-symbol-file.  The file to remove
> > +  can be identified by its filename or by an address pointing inside
> > +  one of its sections.
> > +
> 
> I'd rewrite this one to read a little better. Eli may have a better 
> suggestion.
> 
> Something like this?
> 
> Remove a symbol file added via add-symbol-file.  The symbol file to 
> remove can be identified by its filename or by an address that lies 
> within the boundaries of this symbol file in memory.

These two variants seem to have different semantics.
> > +@kindex remove-symbol-file
> > +@item remove-symbol-file @var{filename}
> > +@item remove-symbol-file -a @var{address}
> > +Remove a symbol file added via the @code{add-symbol-file} command.  The
> > +file to remove can be identified by its filename or by an address pointing
> > +inside one of its sections. Example:
> 
> Same as above?

"filename" and "address" should be in @var.