RFA: fix menu in python api documentation

Tom Tromey
2011-01-07T15:02:34Z

This patch needs a doc review.

I noticed that the @menu in the Python API node was missing a couple of
descriptions. This patch adds them.

Ok?

Tom

2011-01-07 Tom Tromey <tromey@redhat.com>

* gdb.texinfo (Python API): Add descriptions to @menu items.

Index: doc/gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.786
diff -u -r1.786 gdb.texinfo
--- doc/gdb.texinfo 6 Jan 2011 21:10:52 -0000 1.786
+++ doc/gdb.texinfo 7 Jan 2011 15:01:50 -0000
@@ -20710,8 +20710,8 @@

@menu
* Basic Python:: Basic Python Functions.
-* Exception Handling::
-* Values From Inferior::
+* Exception Handling:: How Python exceptions are translated.
+* Values From Inferior:: Python representation of values.
* Types In Python:: Python representation of types.
* Pretty Printing API:: Pretty-printing values.
* Selecting Pretty-Printers:: How GDB chooses a pretty-printer.