Fix gdb.info build error (bad @menu entry)
authorJoel Brobecker <brobecker@gnat.com>
Sat, 2 Apr 2011 04:31:43 +0000 (04:31 +0000)
committerJoel Brobecker <brobecker@gnat.com>
Sat, 2 Apr 2011 04:31:43 +0000 (04:31 +0000)
commit4368ebebd815a95ace43dba87fbe800a37d314cf
tree6ebadb655624c2ee4824b7528a17803d906ba07b
parent56198f2575ba0da2686679b1f1d10167ea935ecd
Fix gdb.info build error (bad @menu entry)

gdb/doc/ChangeLog:

* gdb.texinfo (GDB/MI Output Records): Fix menu entry for
"GDB/MI Ada Exception Information" node.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo