diff options
| author | Szabolcs Nagy <szabolcs.nagy@arm.com> | 2018-01-15 10:44:12 +0000 |
|---|---|---|
| committer | Szabolcs Nagy <szabolcs.nagy@arm.com> | 2018-01-15 11:43:33 +0000 |
| commit | dbfa452355153093d4d6841515f9891c9572113f (patch) | |
| tree | 4e63b26cf8c2ae676dbb824f9cb7fefa3450cfc6 /opcodes | |
| parent | 801728126e4a627305c2c7dc8e6d3eb30a5cb506 (diff) | |
| download | gdb-dbfa452355153093d4d6841515f9891c9572113f.zip gdb-dbfa452355153093d4d6841515f9891c9572113f.tar.gz gdb-dbfa452355153093d4d6841515f9891c9572113f.tar.bz2 | |
Fix gdb.texinfo for old makeinfo (again)
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.
gdb/doc/ChangeLog:
* gdb.texinfo (set cwd): Add period.
(gdb-add-index man): Move anchor.
Diffstat (limited to 'opcodes')
0 files changed, 0 insertions, 0 deletions