PR python/10782:

	* gdb.texinfo (Types In Python): Document Type.pointer.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 76a0175..8571bc9 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-23  Tom Tromey  <tromey@redhat.com>
+
+       PR python/10782:
+       * gdb.texinfo (Types In Python): Document Type.pointer.
+
 2009-11-23  Paul Pluzhnikov  <ppluzhnikov@google.com>
 
        * gdb.texinfo (Machine Code): Adjust.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index bf76aa1..c1ccfc7 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -19640,6 +19640,11 @@ Return a new @code{gdb.Type} object which represents a reference to this
 type.
 @end defmethod
 
+@defmethod Type pointer
+Return a new @code{gdb.Type} object which represents a pointer to this
+type.
+@end defmethod
+
 @defmethod Type strip_typedefs
 Return a new @code{gdb.Type} that represents the real type,
 after removing all layers of typedefs.