diff options
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index b686271..1b86071 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-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 --- 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 |