summaryrefslogtreecommitdiff
path: root/tools/make_entities_inc.py
diff options
context:
space:
mode:
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>2017-08-01 19:28:16 +0700
committerNguyễn Thái Ngọc Duy <pclouds@gmail.com>2018-07-07 19:30:34 +0200
commit55afc6fd496de4e75c27d725c2bf1470cc3cf5aa (patch)
tree9b28765be135f080a680bca08b33c017013af1b9 /tools/make_entities_inc.py
parent26f5144fa925d5d7275819ff86388a47e6063f7e (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