|
From: | Karl Berry |
Subject: | Re: DTD version confusion |
Date: | Sun, 01 Mar 2015 16:43:15 -0700 |
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. Got it. I'll add it to the release list in README-hacking.
[Prev in Thread] | Current Thread | [Next in Thread] |