diff options
| author | José Alburquerque <jaalburqu@svn.gnome.org> | 2012-02-07 18:37:01 -0500 |
|---|---|---|
| committer | José Alburquerque <jaalburqu@svn.gnome.org> | 2012-02-07 18:37:01 -0500 |
| commit | 6727500b8d0fafb573a376962a3a8a48955aa076 (patch) | |
| tree | 0e16447941e4db2c459cc40978a67a80506a812a | |
| parent | b88285937a59bc671dfc38d287113a79848a2ad1 (diff) | |
| download | glibmm-6727500b8d0fafb573a376962a3a8a48955aa076.tar.gz | |
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.
| -rw-r--r-- | ChangeLog | 7 | ||||
| -rwxr-xr-x | tools/defs_gen/docextract_to_xml.py | 2 |
2 files changed, 9 insertions, 0 deletions
@@ -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 94b54b19..e5227570 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, '@', '@') escaped_text = string.replace(escaped_text, '#', '#') escaped_text = string.replace(escaped_text, ' ', ' ') + escaped_text = string.replace(escaped_text, '&solidus;', '/') + escaped_text = string.replace(escaped_text, 'π', '∏') # This represents a '/' before or after an '*' so replace with slash but # with spaces. escaped_text = string.replace(escaped_text, '/', ' / ') |