[PING] [PATCH] PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi

[Ludovic Courtès]

Pedro Alves <palves@redhat.com> skribis:

> On 05/13/14 17:35, Ludovic Courtès wrote:
>> (Original post at <http://sourceware.org/ml/gdb-patches/2014-05/msg00044.html>.)
>> 
>> This patch removes etc/{configure,standards}.texi, for the reasons given at:
>> 
>>   http://sourceware.org/bugzilla/show_bug.cgi?id=16327
>>   http://sourceware.org/bugzilla/show_bug.cgi?id=16328
>> 
>> (I left out the diffs for file removals from this message.)
>
> Suggestion:
>
> Could you write a small executive summary for the commit log?

Here’s what I’d put in the commit log:

  As discussed at
  <http://lists.gnu.org/archive/html/bug-texinfo/2013-12/msg00015.html>
  standards.texi is maintained elsewhere and has no reason to be
  installed alongside Binutils or GDB.

  configure.texi is partly outdated, partly redundant with
  standards.texi, and would belong in Autoconf more than in
  GDB/Binutils.

HTH,
Ludo’.