bug-texinfo
[Top][All Lists]
Advanced

[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



reply via email to

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