diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-11-07 12:13:06 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-11-07 12:13:06 +0100 |
commit | f06712a45edc385e59617aa455570d8bb2acb6d9 (patch) | |
tree | 57d21283c8021a38d741bcf6a1d60d9cf6e00282 /tools | |
parent | 13d656c8e6a26a120b8e5af01e300b232c302a37 (diff) |
CommonMark.dtd: rename root element document -> CommonMark.
Root element must match filename of the DTD, according to the XML spec.
See https://talk.commonmark.org/t/the-ast-output-from-dingus-is-invalid-xml-according-to-xmllint/2284
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions