Python pretty-printing [6/6]

[Eli Zaretskii]

> From: Tom Tromey <tromey@redhat.com>
> Date: Thu, 02 Apr 2009 14:57:41 -0600
> 
> This patch adds MI support for pretty-printing.

Thanks.

> 2009-04-02  Tom Tromey  <tromey@redhat.com>
> 
> 	* gdb.texinfo (GDB/MI Miscellaneous Commands): Document "python"
> 	feature.
> 	(GDB/MI Variable Objects): Document -var-set-visualizer,
> 	-var-set-child-range.

This part is approved with a comment:

> +This feature is only available if Python support is enabled.

Should we say how to check for that?