This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [committed] Fix gdb.texinfo for old makeinfo (again)
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Szabolcs Nagy <szabolcs dot nagy at arm dot com>
- Cc: gdb-patches at sourceware dot org, nd at arm dot com, sergiodj at redhat dot com, simon dot marchi at polymtl dot ca, tom at tromey dot com
- Date: Mon, 15 Jan 2018 14:11:53 +0200
- Subject: Re: [committed] Fix gdb.texinfo for old makeinfo (again)
- Authentication-results: sourceware.org; auth=none
- References: <5A5C9504.4060001@arm.com> <5A5C95D8.3010405@arm.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Mon, 15 Jan 2018 11:51:52 +0000
> From: Szabolcs Nagy <szabolcs.nagy@arm.com>
> CC: nd@arm.com, Sergio Durigan Junior <sergiodj@redhat.com>, Simon Marchi <simon.marchi@polymtl.ca>, Tom Tromey <tom@tromey.com>, Eli Zaretskii <eliz@gnu.org>
> now with patch attached.
Hmm... why did you need this one:
> -@pindex gdb-add-index
That's an index entry for gdb-add-index, it should stay, I think.