Thanks for the review, Eli.

> > +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.

Indeed, that's a good suggestion. I also took your suggestion to change
the wording on the default in gdb.texinfo to apply it here as well.

> > +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.

OK. I keep writing notes of which @ command to use in which case,
so hopefully I will be doing better as time goes by! Changes made.
I added 2 @cindex, one for GNAT descriptive type, and one for GNAT
encoding.

> 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.

I wasn't sure either.  The volume of work to be done before we are
completely done is massive - between GCC, GDB, and our busy schedules,
I think we're talking years... Not being sure, I stayed with the
current wording, but I am happy to make any change you may suggest.

Attached is the patch I just checked in.

-- 
Joel