diff options
author | José Alburquerque <jaalburquerque@gmail.com> | 2013-06-30 18:01:11 -0400 |
---|---|---|
committer | José Alburquerque <jaalburquerque@gmail.com> | 2013-06-30 18:01:11 -0400 |
commit | 5dcdf882ed452faa20606c6b47b7394981d1d0b0 (patch) | |
tree | c4ca70d082aede3316c9d24714e0f9840490c222 /tools/defs_gen | |
parent | 9b7a4076b50a862459a85fb0be4c7afdb26a3ef9 (diff) | |
download | glibmm-5dcdf882ed452faa20606c6b47b7394981d1d0b0.tar.gz |
docextract_to_xml.py: Add '⇒' to the list of escape sequences.
* tools/defs_gen/docextract_to_xml.py: It represents a right arrow and
some C API documentation uses it.
Diffstat (limited to 'tools/defs_gen')
-rwxr-xr-x | tools/defs_gen/docextract_to_xml.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/defs_gen/docextract_to_xml.py b/tools/defs_gen/docextract_to_xml.py index c94c8574..1c770ef4 100755 --- a/tools/defs_gen/docextract_to_xml.py +++ b/tools/defs_gen/docextract_to_xml.py @@ -39,6 +39,7 @@ def escape_text(unescaped_text): escaped_text = string.replace(escaped_text, ' ', ' ') escaped_text = string.replace(escaped_text, '&solidus;', '/') escaped_text = string.replace(escaped_text, 'π', '∏') + 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, '/', ' / ') |