dtd version

[Karl Berry]

    <!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V4.12//EN"
      "http://www.gnu.org/software/texinfo/dtd/4.12/texinfo.dtd";>

Evidently yes, thanks.

Patrice, although this is easy enough to fix in
tp/maintain/catalog.xml.in, even with automatic substitution of the
version number, I'm not sure if that's what you want to do.  Do your
tests ignore the dtd version somehow (hopefully)?

Thanks,
Karl