From f179cf97a071940bfce6879aa59dbac66ffca391 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Tue, 24 Jun 2014 19:28:40 +0300 Subject: [PATCH] Minor improvements in manual indexing. * doc/gdb.texinfo (Screen Size): Add more index entries. --- gdb/doc/ChangeLog | 4 ++++ gdb/doc/gdb.texinfo | 3 +++ 2 files changed, 7 insertions(+) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index b686271ac5c..1b860710c1c 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2014-06-24 Eli Zaretskii + + * gdb.texinfo (Screen Size): Improve indexing. + 2014-06-19 Gary Benson * gdb.texinfo (Maintenance Commands): Document new diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 8588f732d49..373ea07bb08 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 -- 2.30.2