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

Ludovic Courtès
2014-05-14T10:34:40Z

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