[glibmm] docextract_to_xml.py: Add some HTML entity conversions.

[Josà Alburquerque <jaalburqu src gnome org>]

commit 6727500b8d0fafb573a376962a3a8a48955aa076
Author: Josà Alburquerque <jaalburqu svn gnome org>
Date:   Tue Feb 7 18:37:01 2012 -0500

    docextract_to_xml.py: Add some HTML entity conversions.
    
    	* tools/defs_gen/docextract_to_xml.py: Add some HTML entity
    	conversions that produce errors when processed by gmmproc.

 ChangeLog                           |    7 +++++++
 tools/defs_gen/docextract_to_xml.py |    2 ++
 2 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/ChangeLog b/ChangeLog
index 6ae6ec4..5cfcbbb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
 2012-02-07  Josà Alburquerque  <jaalburquerque gmail com>
 
+	docextract_to_xml.py: Add some HTML entity conversions.
+
+	* tools/defs_gen/docextract_to_xml.py: Add some HTML entity
+	conversions that produce errors when processed by gmmproc.
+
+2012-02-07  Josà Alburquerque  <jaalburquerque gmail com>
+
 	gmmproc: Method generation: Fix indentation of void methods.
 
 	* tools/m4/method.m4: Make sure that the generated line in methods
diff --git a/tools/defs_gen/docextract_to_xml.py b/tools/defs_gen/docextract_to_xml.py
index 94b54b1..e522757 100755
--- a/tools/defs_gen/docextract_to_xml.py
+++ b/tools/defs_gen/docextract_to_xml.py
@@ -36,6 +36,8 @@ def escape_text(unescaped_text):
     escaped_text = string.replace(escaped_text, '&commat;', '@')
     escaped_text = string.replace(escaped_text, '&num;', '&#35;')
     escaped_text = string.replace(escaped_text, '&nbsp;', '&#160;')
+    escaped_text = string.replace(escaped_text, '&solidus;', '&#47;')
+    escaped_text = string.replace(escaped_text, '&pi;', '&#8719;')
     # This represents a '/' before or after an '*' so replace with slash but
     # with spaces.
     escaped_text = string.replace(escaped_text, '&sol;', ' / ')