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 b686271ac5ce560c8c3ff9f01e3a2025ce5e121a..1b860710c1c6c06e8b2fdecfa1e952aeeb3261c2 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 8588f732d49e5669d743b43fa45d4ccfeab18118..373ea07bb0843817fcac1545be36120b79c9bcfb 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