gdb.texinfo (Source Annotations): Fix index entries by adding
authorEli Zaretskii <eliz@gnu.org>
Sat, 21 Oct 2006 13:06:04 +0000 (13:06 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sat, 21 Oct 2006 13:06:04 +0000 (13:06 +0000)
commite5ac9b532c5ad2bcfd8f91ee4fbb6bd30ad17309
tree656ebbdd8162b840e20ec4b46c560391cde1f106
parent0ced0c34ad871dd3f6cd30e43035ae722f551c79
gdb.texinfo (Source Annotations): Fix index entries by adding
"annotation" to them, to discriminate from index entries that point
to the more general topic descriptions.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo