dtd version

[Karl Berry]

Sorry, I didn't notice this before:

# version for the dtd.  In between releases, PACKAGE_VERSION is not set
# to a value that corresponds to actual files on the internet.
# TEXINFO_DTD_VERSION=$PACKAGE_VERSION
TEXINFO_DTD_VERSION=5.00
AC_SUBST([TEXINFO_DTD_VERSION])

Well, 5.00 doesn't correspond to anything on the Internet either.
But anyway, it was always my intention to put pretest dtd's on the
net.  I did it in the past for many versions, just failed to do so for
these, but I can from now on.

Overall, it makes more sense to me to use $PACKAGE_VERSION, because the
DTD for 4.13.9x isn't necessarily the same as what we'll end up with at
5.0, after all ... is there some other reason not to?

k