Re: [PATCH v10 3/5] Documentation for the remove-symbol-file command.

[Eli Zaretskii <eliz@gnu.org>]

> From: Nicolas Blanc <nicolas.blanc@intel.com>
> Cc: nicolas.blanc@intel.com
> Date: Mon, 24 Jun 2013 10:36:05 +0200
> 
> 2013-04-05  Nicolas Blanc  <nicolas.blanc@intel.com>
> 
> 	* NEWS: Add description of the remove-symbol-file command.
> gdb/doc
> 	* gdb.texinfo (Commands to Specify Files): Add description
> 	of the remove-symbol-file command.

OK, with one gotcha:

>  The symbol table of the file @var{filename} is added to the symbol table
>  originally read with the @code{symbol-file} command.  You can use the
>  @code{add-symbol-file} command any number of times; the new symbol data
> -thus read keeps adding to the old.  To discard all old symbol data
> -instead, use the @code{symbol-file} command without any arguments.
> +thus read keeps adding to the old.
             ^^^^^^^^^^^^^^^^^^^^^^^
I guess you meant "is kept in addition to the old", right?

Thanks.