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/Readers/HTML | |
| 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/Readers/HTML')
0 files changed, 0 insertions, 0 deletions