This is the mail archive of the
mailing list for the GDB project.
Re: [patch 1/2] Drop gdbtui [+doc changes]
> Date: Thu, 22 Dec 2011 10:32:22 +0100
> From: Jan Kratochvil <firstname.lastname@example.org>
> Cc: email@example.com, firstname.lastname@example.org,
> email@example.com, firstname.lastname@example.org, email@example.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.