This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH v2] Install and generate docs for gdb-add-index
- From: Simon Marchi <simon dot marchi at polymtl dot ca>
- To: Sergio Durigan Junior <sergiodj at redhat dot com>
- Cc: GDB Patches <gdb-patches at sourceware dot org>, Tom Tromey <tom at tromey dot com>, Eli Zaretskii <eliz at gnu dot org>
- Date: Fri, 12 Jan 2018 07:44:43 -0500
- Subject: Re: [PATCH v2] Install and generate docs for gdb-add-index
- Authentication-results: sourceware.org; auth=none
- References: <20180111213530.23774-1-sergiodj@redhat.com> <20180112041953.17709-1-sergiodj@redhat.com>
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