Re: Bug reports for texinfo (and 2 wishes)

[Karl Berry]

    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