[PATCH v2] Install and generate docs for gdb-add-index

[Sergio Durigan Junior]

On Friday, January 12 2018, Simon Marchi wrote:

> On 2018-01-11 23:19, Sergio Durigan Junior wrote:
>> Changes from v1:
>>
>> - Adjusted indentation on gdb/Makefile.in.
>>
>> - Rearranged text on gdb/doc/gdb.texinfo.
>>
>>
>> The "gdb-add-index" script has been resurrected on:
>>
>>   commit caf26be91a584ef141ac5d3cb31007731af8b8e3
>>   Author: Samuel Bronson <naesten@gmail.com>
>>   Date:   Fri Nov 15 16:09:33 2013 -0500
>>
>>       Resurrect gdb-add-index as a contrib script
>>
>> However, for some reason (I couldn't find it in the archives), only
>> the script has been checked-in; the Makefile parts responsible for
>> installing it in the system were left out.  This commit fixes that, by
>> also resurrecting the Makefile and documentation bits.
>>
>> This commit is part of our effort to upstream the local Fedora GDB
>> changes.  With this commit, we'll only carry a very small
>> Fedora-specific modification to the script.
>
> Thanks, this is fine with me, please follow-up with Eli.

Thanks Simon and Eli.

Pushed.

ba643918cf869fa0d064d733f69b453b6fe642ea

-- 
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF  31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
http://sergiodj.net/