Re: [Ada/NEWS+doco] New Ada maintenance command to ignore descriptive types (DWARF).

[Eli Zaretskii <eliz@gnu.org>]

> From: Joel Brobecker <brobecker@adacore.com>
> Date: Mon, 27 Jan 2014 08:36:55 +0400
> 
> +* New options
> +
> +maint ada set ignore-descriptive-types (on|off)
> +maint ada show ignore-descriptive-types
> +  Control whether the debugger should ignore descriptive types.

I would say "... descriptive types in Ada programs", so that readers
who don't use Ada will not bother looking this up in the manual, even
if they missed the crucial hint in the name of the option.

> +In particular, this convention makes use of @samp{descriptive types},

This should be in @dfn, not @samp, as you are introducing new
terminology.  Also, a @cindex entry for that would be nice.

> +The default is to use descriptives types (@code{off}).
                  ^^^^^^
"not to ignore" is better than "to use" here.

OK with those changes.  However, I wonder if we really should document
this in such a detailed manner, if this is really a temporary measure.
Your call.

Thanks.