335016 makeinfo --xml generates a document with an invalid DTD
---------------------------------------------------------------
I generated an XML document with "makeinfo --xml". It contains:
<!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V4.8//EN"
"http://www.gnu.org/software/texinfo/dtd/4.8/texinfo.dtd";>
But this DTD is not valid:
$ xmllint --noout --loaddtd --valid mpfr.xml
http://www.gnu.org/software/texinfo/dtd/4.8/texinfo.dtd:128: validity error
: Definition of settitle has duplicate references of footnote
<!ELEMENT settitle (#PCDATA | %Inline.phrase; | footnote)*>
^
[...]
Torsten, can you please send me your DTD changes, which I presume will
fix this, among other things?
Thanks,
Karl
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
