Re: [PATCH 8/9] class-local typedef substitutions

[Eli Zaretskii <eliz@gnu.org>]

> From: Tom Tromey <tromey@redhat.com>
> Cc: gdb-patches@sourceware.org
> Date: Mon, 05 Nov 2012 13:26:09 -0700
> 
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -8,6 +8,9 @@
>  -nh   Disables auto-loading of ~/.gdbinit, but still executes all the
>        other initialization files, unlike -nx which disables all of them.
>  
> +* The 'ptype' and 'whatis' commands now accept an argument to control
> +  type formatting.
> +
>  * Python scripting
>  
>    ** Vectors can be created with gdb.Type.vector.
> @@ -52,6 +55,18 @@ py [command]
>       (has been deprecated in GDB 7.5), and "info all-registers" should be used
>       instead.
>  
> +* New options
> +
> +set print type methods (on|off)
> +show print type methods
> +  Control whether method declarations are displayed by "ptype".
> +  The default is to show them.
> +
> +set print type typedefs (on|off)
> +show print type typedefs
> +  Control whether typedef definitions are displayed by "ptype".
> +  The default is to show them.
> +

This part is OK, but shouldn't there be a patch for the manual to
match it?  Or did I miss something?

Thanks.