On 15/01/18 12:58, Eli Zaretskii wrote:
> Yes, @pindex should be below @heading.

Add incorrectly removed @pindex back.

gdb/doc/ChangeLog:
2018-01-15  Szabolcs Nagy  <szabolcs.nagy@arm.com>

	* gdb.texinfo (gdb-add-index man): Add pindex.