On Mon, Dec 24, 2012 at 11:24:31PM +0000, Karl Berry wrote: > Is this discrepency a bug? > > As for texinfo.cat, my previous query about it met with no real > information. So I think it is not really used anywhere. So it hardly > matters what version it says.
Yet, if someone asks, it certainly means that it would make more sense to use the current DTD version. I just did it. -- Pat
