diff options
| author | Marius Halden <marius.h@lden.org> | 2016-09-24 19:14:30 +0200 |
|---|---|---|
| committer | Marius Halden <marius.h@lden.org> | 2016-09-24 19:14:30 +0200 |
| commit | 99c15884fe482c099cd3a152497636df9d0b31f1 (patch) | |
| tree | 50db71a741ea5b92efcc16faa3c2dac4233b635b /doc/user-guide/genhelp.py | |
| parent | 942e1d8011536f60a4d2dccf89e4b0e7e25f0602 (diff) | |
| parent | 524e931bb1a61dd7efa44faeb050e41bfc231610 (diff) | |
Merge branch 'master' into patched-master
Diffstat (limited to 'doc/user-guide/genhelp.py')
| -rw-r--r-- | doc/user-guide/genhelp.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/user-guide/genhelp.py b/doc/user-guide/genhelp.py index ec619344..e9a3b2bf 100644 --- a/doc/user-guide/genhelp.py +++ b/doc/user-guide/genhelp.py @@ -64,7 +64,8 @@ def fix_tree(tag, debug=False, lvl=''): print("%s</%s>%r" % (lvl, tag.tag, [tag.tail, normalize(tag.tail)])) # Actually normalize whitespace - tag.text = normalize(tag.text) + if 'pre' not in tag.attrib: + tag.text = normalize(tag.text) tag.tail = normalize(tag.tail) |