Re: [patch] Remove unimplemented MI commands [Re: Learn function name by its address]

[Eli Zaretskii <eliz@gnu.org>]

> From:  Vladimir Prus <vladimir@codesourcery.com>
> Date:  Sun, 28 Jun 2009 10:42:04 +0400
> 
> > But in any case, no, there's no consistency issue here: while most
> > humans read the code, almost no one reads the Texinfo sources of the
> > docs.  People read the manual in its Info, HTML, or PDF formats, where
> > the @ignore'd parts are gone.
> 
> But is there any value in keeping those (fairly useless) docs commented out
> in texinfo source? The changes that most of them will be revived is close to
> zero, and reviving will require writing real docs anyway.

You may be right.  But keeping them does no harm, while deleting them
when the time comes is easy.  Meanwhile, they might serve as design
guidelines if someone needs that.  In addition -- and to me this is no
small thing -- they pay respect to the original GDB/MI designers, some
of whom are still among us.