Re: Bug#335016: Bug reports for texinfo (and 2 wishes)

[Karl Berry]

    http://www.gnu.org/software/texinfo/dtd/4.8/texinfo.dtd:2: parser error : 
Comment not terminated 
    <!-- $Id: texinfo.dtd,v 1.2 2006/01/31 00:45:48 karl E
       Document Type Definition for Texinfo XML output (--xml).

Wow, XML does not allow comments including the string "--"?  Pardon me
for saying so, but that seems even more stupid than usual.  Not that
it's your doing :).  I changed it.

I am not sure what to make of the other warnings.  section.level4 and
the rest all seem to be defined to me?  Unless it's the comment that's
causing the problem.  Or a problem in xmllint.  Perhaps Torsten can
advise.

Thanks,
k