Minor improvements in manual indexing.
authorEli Zaretskii <eliz@gnu.org>
Tue, 24 Jun 2014 16:28:40 +0000 (19:28 +0300)
committerEli Zaretskii <eliz@gnu.org>
Tue, 24 Jun 2014 16:28:40 +0000 (19:28 +0300)
commitf179cf97a071940bfce6879aa59dbac66ffca391
treea48c6da7ccd257b3341de4fa16855fc646229f91
parent15bfcc77681f423fd872815eb140c450d69b8a60
Minor improvements in manual indexing.

* doc/gdb.texinfo (Screen Size): Add more index entries.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo