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:10:01 +0200
- Subject: Re: [committed] Fix gdb.texinfo for old makeinfo (again)
- Authentication-results: sourceware.org; auth=none
- References: <5A5C9504.4060001@arm.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Mon, 15 Jan 2018 11:48:20 +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>
>
> With old makeinfo (version 4.13) the changes introduced in
>
> commit ba643918cf869fa0d064d733f69b453b6fe642ea
> Author: Sergio Durigan Junior <sergiodj@redhat.com>
>
> Install and generate docs for gdb-add-index
>
> fail to build with
>
> gdb/doc/gdb.texinfo:2498: warning: `.' or `,' must follow @xref, not `@'.
> gdb/doc/gdb.texinfo:2517: warning: `.' or `,' must follow @xref, not `@'.
> gdb/doc/gdb.texinfo:43443: Node `gdb-add-index man' requires a sectioning command (e.g., @unnumberedsubsec).
> gdb/doc/gdb.texinfo:43443: `gdb-add-index man' has no Up field (perhaps incorrect sectioning?).
> gdb/doc/gdb.texinfo:43350: Next field of node `gdbinit man' not pointed to (perhaps incorrect sectioning?).
> gdb/doc/gdb.texinfo:43443: This node (gdb-add-index man) has the bad Prev.
>
> This patch fixes the warnings too.
> Committed as obvious.
Thanks.