[commit] Fix gdb.info build error (bad @menu entry)

[Joel Brobecker]

I cannot believe I missed this! I normally build all formats before
submitting a documentation patch, and this time I somehow forgot to
verify that the info format still builds. Fixed thusly.

gdb/doc/ChangeLog:

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

Tested on x86_64-linux. Checked in.

---
 gdb/doc/ChangeLog   |    5 +++++
 gdb/doc/gdb.texinfo |    2 +-
 2 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 1e464a0..5225a6b 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2011-04-02  Joel Brobecker  <brobecker@adacore.com>
+
+	* gdb.texinfo (GDB/MI Output Records): Fix menu entry for
+	"GDB/MI Ada Exception Information" node.
+
 2011-04-01  Joel Brobecker  <brobecker@adacore.com>
 
 	* gdb.texinfo (GDB/MI Ada Exception Information): Document
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index bccef40..c71d664 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -24947,7 +24947,7 @@ follow development on @email{gdb@@sourceware.org} and
 * GDB/MI Async Records::
 * GDB/MI Frame Information::
 * GDB/MI Thread Information::
-* GDB/MI Ada Exception Information
+* GDB/MI Ada Exception Information::
 @end menu
 
 @node GDB/MI Result Records
-- 
1.7.1