[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: DTD version confusion
|
From: |
Dumas Patrice |
|
Subject: |
Re: DTD version confusion |
|
Date: |
Mon, 2 Mar 2015 00:33:34 +0100 |
|
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Sun, Mar 01, 2015 at 10:23:32PM +0000, Karl Berry wrote:
> +check-dtd-changes:
> + $(MKDIR_P) tp/maintain
> + (cd tp/maintain && wget -N
> http://www.gnu.org/software/texinfo/dtd/$(TEXINFO_DTD_VERSION)/texinfo.dtd)
>
> Sorry, in all this lengthy back and forth, I don't understand what
> problem needs to be solved. Did we forget to update something in 5.2?
Yes, TEXINFO_DTD_VERSION should have been set to 5.2.
More precisely, texinfo.dtd should have been compared with the 5.0
texinfo dtd, to determine if there are differences that require
TEXINFO_DTD_VERSION to be set to the current version, here 5.2.
--
Pat