[gtkmm] Regenerate *_docs.xml.

[Murray Cumming <murrayc src gnome org>]

commit ccc1a7c9c51d8b2e361a8613cca7775a2cf225e5
Author: Murray Cumming <murrayc murrayc com>
Date:   Tue Sep 23 10:42:13 2014 +0200

    Regenerate *_docs.xml.

 gtk/src/gtk_docs.xml |    7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)
---
diff --git a/gtk/src/gtk_docs.xml b/gtk/src/gtk_docs.xml
index a301277..e3f82c7 100644
--- a/gtk/src/gtk_docs.xml
+++ b/gtk/src/gtk_docs.xml
@@ -29852,10 +29852,9 @@ The border width of a container is the amount of space to leave
 around the outside of the container. The only exception to this is
 #GtkWindow; because toplevel windows can’t leave space outside,
 they leave the space inside. The border is added on all sides of
-the container. To add space to only one side, one approach is to
-create a #GtkAlignment widget, call gtk_widget_set_size_request()
-to give it a size, and place it on the side of the container as
-a spacer.
+the container. To add space to only one side, use a specific
+#GtkWidget:margin property on the child widget, for example
+#GtkWidget:margin-top.
 
 </description>
 <parameters>