Re: dtd version

[Patrice Dumas]

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