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

Eli Zaretskii
2018-01-12T09:19:30Z

> From: Sergio Durigan Junior <sergiodj@redhat.com>
> Cc: Tom Tromey <tom@tromey.com>, Eli Zaretskii <eliz@gnu.org>, Sergio Durigan Junior <sergiodj@redhat.com>
> Date: Thu, 11 Jan 2018 23:19:53 -0500
>
> Changes from v1:
>
> - Adjusted indentation on gdb/Makefile.in.
>
> - Rearranged text on gdb/doc/gdb.texinfo.

See my comments to v1.