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

Jan Kratochvil
2011-12-22T09:33:07Z

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.

But my interpretation may not be right, I will use your text.

Thanks,
Jan