+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? k
