<!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
