Re: dtd version

[Patrice Dumas]

On Tue, Dec 18, 2012 at 04:27:14PM +0000, Karl Berry wrote:

> As a separate question, I don't much like the version number "5.00".
> We've never used that two-digit convention.  Our final version isn't
> going to be 5.00, but 5.0.  (Perhaps it would have been better to use
> two digits from the beginning, but I'm not much inclined to change that
> now.)
> 
> However, since we won't be putting it on the Internet :), I guess we can
> change this at our leisure.  Going ahead with the next pretest.

Ok, I'll change the dtd version to match 5.0.

-- 
Pat