This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[committed] Fix gdb.texinfo more
- From: Szabolcs Nagy <szabolcs dot nagy at arm dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: nd at arm dot com, gdb-patches at sourceware dot org, sergiodj at redhat dot com, simon dot marchi at polymtl dot ca, tom at tromey dot com
- Date: Mon, 15 Jan 2018 13:32:01 +0000
- Subject: [committed] Fix gdb.texinfo more
- Authentication-results: sourceware.org; auth=none
- Authentication-results: spf=none (sender IP is ) smtp.mailfrom=Szabolcs dot Nagy at arm dot com;
- Nodisclaimer: True
- References: <5A5C9504.4060001@arm.com> <5A5C95D8.3010405@arm.com> <83a7xfz5h2.fsf@gnu.org> <5A5C9DB6.9070306@arm.com> <836083z3bp.fsf@gnu.org>
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
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.
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 75789a27c2..9ddfba504c 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -43442,6 +43442,7 @@ Richard M. Stallman and Roland H. Pesch, July 1991.
@node gdb-add-index man
@heading gdb-add-index
+@pindex gdb-add-index
@anchor{gdb-add-index}
@c man title gdb-add-index Add index files to speed up GDB