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
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
