This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [committed] Fix gdb.texinfo for old makeinfo (again)


On 15/01/18 12:11, Eli Zaretskii wrote:
>> 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.
> 

i still get the error if i keep @pindex there,
if i move it together with @anchor below @heading
that works, shall i make that change?

(i just wanted to unbreak the build for our
automated toolchain tests, but there might be
better fix)


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]