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

Simon Marchi
2018-01-12T12:44:53Z

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.

Simon