* gdbint.texinfo: Bring the HTML `top' menu into sync with the
authorJim Blandy <jimb@codesourcery.com>
Tue, 28 Aug 2001 22:49:55 +0000 (22:49 +0000)
committerJim Blandy <jimb@codesourcery.com>
Tue, 28 Aug 2001 22:49:55 +0000 (22:49 +0000)
commit496e6bc304fbe38632eb812b844e1e5c7a8263b3
tree677949fb093e86ea91cf96349bd35ac86d90b994
parentc12b9b535d05ab5393b6bf8a74fb864bf0e4e3b3
* gdbint.texinfo: Bring the HTML `top' menu into sync with the
info `top' menu.
gdb/doc/gdb.texinfo