[glibmm] docextract_to_xml.py: Replace : with ':' in generated XML files.

[Josà Alburquerque <jaalburqu src gnome org>]

commit da08d039f5f03f26ed9dcf677fb263607852b111
Author: Josà Alburquerque <jaalburqu svn gnome org>
Date:   Sun Nov 4 10:53:28 2012 -0500

    docextract_to_xml.py: Replace &colon; with ':' in generated XML files.
    
    	* tools/defs_gen/docextract_to_xml.py: Otherwise gmmproc reports
    	errors if this entity is encountered when trying to parse the XML
    	documentation.

 ChangeLog                           |    8 ++++++++
 tools/defs_gen/docextract_to_xml.py |    1 +
 2 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/ChangeLog b/ChangeLog
index 51228ad..552a704 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2012-11-04  Josà Alburquerque  <jaalburquerque gmail com>
+
+	docextract_to_xml.py: Replace &colon; with ':' in generated XML files.
+
+	* tools/defs_gen/docextract_to_xml.py: Otherwise gmmproc reports
+	errors if this entity is encountered when trying to parse the XML
+	documentation.
+
 2012-11-01  Kjell Ahlstedt  <kjell ahlstedt bredband net>
 
 	gmmproc: Improve the documentation of properties.
diff --git a/tools/defs_gen/docextract_to_xml.py b/tools/defs_gen/docextract_to_xml.py
index edc2f36..d77ad6e 100755
--- a/tools/defs_gen/docextract_to_xml.py
+++ b/tools/defs_gen/docextract_to_xml.py
@@ -34,6 +34,7 @@ def escape_text(unescaped_text):
     escaped_text = string.replace(escaped_text, '&ast;', '*')
     escaped_text = string.replace(escaped_text, '&percnt;', '%')
     escaped_text = string.replace(escaped_text, '&commat;', '@')
+    escaped_text = string.replace(escaped_text, '&colon;', ':')
     escaped_text = string.replace(escaped_text, '&num;', '&#35;')
     escaped_text = string.replace(escaped_text, '&nbsp;', '&#160;')
     escaped_text = string.replace(escaped_text, '&solidus;', '&#47;')