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

Eli Zaretskii
2018-01-15T12:59:09Z

> Date: Mon, 15 Jan 2018 12:25:26 +0000
> From: Szabolcs Nagy <szabolcs.nagy@arm.com>
> CC: nd@arm.com, gdb-patches@sourceware.org, sergiodj@redhat.com,
> simon.marchi@polymtl.ca, tom@tromey.com
> >> -@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?

Yes, @pindex should be below @heading.

Thanks.

> (i just wanted to unbreak the build for our
> automated toolchain tests

Understood.