Minor improvements in manual indexing.

	* doc/gdb.texinfo (Screen Size): Add more index entries.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index b686271..1b86071 100644 (file)
--- 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-19  Gary Benson  <gbenson@redhat.com>
 
        * gdb.texinfo (Maintenance Commands): Document new

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 8588f73..373ea07 100644 (file)
--- 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