diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2020-12-04 09:28:32 +0100 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2020-12-07 06:23:25 +0100 |
commit | 16ef87745702f69d5aa948fbe6d2101577dee8f4 (patch) | |
tree | 00b48a65554ac5a22e84796121357fb8d6341bfc /src/Text/Pandoc.hs | |
parent | dc6856530c2cb6ca58ed82721ab895b86cfe0c1c (diff) | |
download | pandoc-16ef87745702f69d5aa948fbe6d2101577dee8f4.tar.gz |
Docbook writer: Use correct id attribute consistently
DocBook5 should always use xml:id instead of id so let’s use it everywhere.
Diffstat (limited to 'src/Text/Pandoc.hs')
0 files changed, 0 insertions, 0 deletions