[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dtd version

From: Patrice Dumas
Subject: Re: dtd version
Date: Sun, 9 Dec 2012 04:13:50 +0100
User-agent: Mutt/1.5.20 (2009-12-10)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]