diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2017-08-01 19:28:16 +0700 |
---|---|---|
committer | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-07-07 19:30:34 +0200 |
commit | 55afc6fd496de4e75c27d725c2bf1470cc3cf5aa (patch) | |
tree | 9b28765be135f080a680bca08b33c017013af1b9 /tools/make_entities_inc.py | |
parent | 26f5144fa925d5d7275819ff86388a47e6063f7e (diff) |
Add xml:space="preserve" in XML output when appropriate
With current HTML escaping, sometimes we may produce an XML tag like
<code_block> </code_block>
Many XML parsers consider these spaces insignificant and strip them
out but we need this. There's actually a test case like this in
spec.txt (search "A code block can have all empty lines as its
content:") and without proper hinting, an external xml->html converter
will fail the spec.
XML standard covers this case. If xml:space is "preserve", then
whitespaces are significant and should be kept. Add this hint for
text, code, code_block, html_inline and html_block tags.
Diffstat (limited to 'tools/make_entities_inc.py')
0 files changed, 0 insertions, 0 deletions