Re: [patch 1/2] Drop gdbtui [+doc changes]

Eli Zaretskii
2011-12-22T11:00:22Z

> Date: Thu, 22 Dec 2011 10:32:22 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: tromey@redhat.com, pierre.muller@ics-cnrs.unistra.fr,
> brobecker@adacore.com, gdb-patches@sourceware.org, sdurigan@redhat.com,
> ktietz@redhat.com
>
> On Thu, 22 Dec 2011 09:04:43 +0100, Eli Zaretskii wrote:
> > > +* The binary "gdbtui" has been removed. Use "gdb -tui" instead.
> >
> > I think the first sentence should say
> >
> > The binary "gdbtui" is no longer built or installed.
> >
> > because we didn't really "remove" anything ;-)
>
> FYI I understand it the way that neither "make" nor "make install" builds
> "gdbtui" now but if I enter "make gdbtui" then "gdbtui" is still built.
>
> But it no longer can be built in any way, "make gdbtui" will now abort:
> make: *** No rule to make target `gdbtui'. Stop.

Would it be better to say

The binary "gdbtui" can no longer be built or installed.

?