diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2014-06-24 19:28:40 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2014-06-24 19:28:40 +0300 |
| commit | f179cf97a071940bfce6879aa59dbac66ffca391 (patch) | |
| tree | a48c6da7ccd257b3341de4fa16855fc646229f91 /gdb/doc | |
| parent | 15bfcc77681f423fd872815eb140c450d69b8a60 (diff) | |
| download | gdb-f179cf97a071940bfce6879aa59dbac66ffca391.zip gdb-f179cf97a071940bfce6879aa59dbac66ffca391.tar.gz gdb-f179cf97a071940bfce6879aa59dbac66ffca391.tar.bz2 | |
Minor improvements in manual indexing.
* doc/gdb.texinfo (Screen Size): Add more index entries.
Diffstat (limited to 'gdb/doc')
| -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 |