Is this discrepency a bug? It's open to interpretation, but we did at least know that was going to happen.
Patrice wanted to use 5.00 (well, 5.0 next time) in the sources. Here's his explanation: The reasons for not using the PACKAGE_VERSION directly are that there is no need to change the DTD version for each (pre-)release since the DTD may change at a different pace, and also that each change of the DTD means a need to regenerate test case results, so having it change with each pretest would be quite inconvenient. In any case, the fact that it is a DTD not already present on the internet is a good thing, it means that the user will have to use the one that comes from the sources (CVS version or tarball) which is good in case the DTD changes between releases. 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. Best, k P.S. to all: I'll be offline the next few days. Back Friday. More pretest reports still welcome :). Maybe, just maybe, we can get 5.0 out before 12/31 ...
