complete GDB MI specification

[Eli Zaretskii]

> Date: Tue, 7 Dec 2004 13:58:49 -0500
> From: Bob Rossi <bob@brasko.net>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb@sources.redhat.com
> 
> Well, if you plan on doing this, as I do, it would be helpful if there
> were some place's in GDB's doco that we could contribute back information
> that we think is helpful. 

Sorry, I don't understand: what is ``back information'' that you are
talking about?  Why not simply add the documentation to the manual?