|
| From: | Karl Berry |
| Subject: | Re: DTD version confusion |
| Date: | Sun, 1 Mar 2015 22:23:32 GMT |
+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
| [Prev in Thread] | Current Thread | [Next in Thread] |