Minor improvements in manual indexing.
* doc/gdb.texinfo (Screen Size): Add more index entries.
This commit is contained in:
parent
15bfcc7768
commit
f179cf97a0
2 changed files with 7 additions and 0 deletions
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue