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
