On Sat, Dec 08, 2012 at 10:27:30PM +0000, Karl Berry wrote: > <!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V4.12//EN" > "http://www.gnu.org/software/texinfo/dtd/4.12/texinfo.dtd";> > > Evidently yes, thanks.
Well, that's not so evident to me, since there is no versionning in the dtd file itself. I guess we only need to change the identifier when the texinfo.dtd file actually changes. Which is clearly the case for this release, though. -- Pat
