diff options
| -rwxr-xr-x | codegen/docextract_to_xml.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/codegen/docextract_to_xml.py b/codegen/docextract_to_xml.py index a219e17..775b57d 100755 --- a/codegen/docextract_to_xml.py +++ b/codegen/docextract_to_xml.py @@ -35,6 +35,7 @@ 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, ' ', ' ') # This represents a '/' before or after an '*' so replace with slash but # with spaces. escaped_text = string.replace(escaped_text, '/', ' / ') |