Re: Implement -exec-jump

[Eli Zaretskii <eliz@gnu.org>]

> From: =?utf-8?q?Andr=C3=A9_P=C3=B6nitz?= <andre.poenitz@nokia.com>
> Date: Wed, 8 Apr 2009 10:16:41 +0100
> 
> On Wednesday 08 April 2009 09:20:43 Eli Zaretskii wrote:
> > > From: Vladimir Prus <vladimir@codesourcery.com>
> > [...]
> > > Do you think having a window of time where *development version*
> > > has an undocumented feature that is primary targeted at *frontend developers*
> > > is worse than not having that feature at all?
> > 
> > Yes, that's what I think.
> 
> I disagree.

Well, you are not responsible for the GDB documentation; I am.

If we are going to allow committing undocumented code, I would ask to
install some procedures to make sure it gets documented eventually.
For now, I don't have any practical suggestion for such procedures,
and I cannot be responsible for a job that other maintainers and
contributors are preventing me to do well.  Please be fair and
understand where I'm coming from.

> At worst, I have to look up the exact syntax to use in the
> sources. No big deal.

Then why have the manual in the first place?  Let them use the
sources.