[commit] Improve indexing of the Screen Size node.

Message ID 83simuqn6e.fsf@gnu.org
State Committed

Commit Message

Eli Zaretskii June 24, 2014, 4:36 p.m. UTC
  FYI, I'm pushing this (both master and gdb-7.8-branch, here shown for
the branch).

commit 350f8d8ad796aa406f2cc87fbf92321efec82f00
Author: Eli Zaretskii <eliz@gnu.org>
Date:   Tue Jun 24 19:28:40 2014 +0300

    Minor improvements in manual indexing.
    	* doc/gdb.texinfo (Screen Size): Add more index entries.
    (cherry picked from commit f179cf97a071940bfce6879aa59dbac66ffca391)


diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 9035c37..6418324 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@ 
+2014-06-24  Eli Zaretskii  <eliz@gnu.org>
+	* gdb.texinfo (Screen Size): Improve indexing.
 2014-06-09  Siva Chandra Reddy  <sivachandra@google.com>
 	* python.texi (Xmethod API): Add space before the opening
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index a0fb66d..9e89855 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -22102,6 +22102,9 @@  Print ten commands just after the commands last printed.
 @node Screen Size
 @section Screen Size
 @cindex size of screen
+@cindex screen size
+@cindex pagination
+@cindex page size
 @cindex pauses in output
 Certain commands to @value{GDBN} may produce large amounts of