From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-86461-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 26915 invoked by alias); 22 Dec 2011 11:00:22 -0000
Received: (qmail 26900 invoked by uid 22791); 22 Dec 2011 11:00:21 -0000
X-SWARE-Spam-Status: No, hits=-3.4 required=5.0	tests=AWL,BAYES_00,RP_MATCHES_RCVD,TW_DB
X-Spam-Check-By: sourceware.org
Received: from fencepost.gnu.org (HELO fencepost.gnu.org) (140.186.70.10)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 22 Dec 2011 11:00:06 +0000
Received: from eliz by fencepost.gnu.org with local (Exim 4.71)	(envelope-from <eliz@gnu.org>)	id 1RdgNW-00082d-K2; Thu, 22 Dec 2011 06:00:02 -0500
Date: Thu, 22 Dec 2011 11:33:00 -0000
Message-Id: <E1RdgNW-00082d-K2@fencepost.gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: 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
In-reply-to: <20111222093222.GA9958@host2.jankratochvil.net> (message from Jan	Kratochvil on Thu, 22 Dec 2011 10:32:22 +0100)
Subject: Re: [patch 1/2] Drop gdbtui [+doc changes]
Reply-to: Eli Zaretskii <eliz@gnu.org>
References: <20111221114641.GB25652@host2.jankratochvil.net> <20111221122330.GH23376@adacore.com> <20111221142328.GA8079@host2.jankratochvil.net> <005b01ccbfec$97428d50$c5c7a7f0$@muller@ics-cnrs.unistra.fr> <20111221143139.GA12714@host2.jankratochvil.net> <m3bor1degn.fsf@fleche.redhat.com> <20111221223523.GA14268@host2.jankratochvil.net> <E1Rdddr-0003Tg-TV@fencepost.gnu.org> <20111222093222.GA9958@host2.jankratochvil.net>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2011-12/txt/msg00780.txt.bz2

> 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.

?