Re: dtd version

[Karl Berry]

    What do you propose?  Use a substitution in configure.ac?

Either configure or make, whichever is more convenient.
Since most of the affected files are in tp/, can you take care of it
when you have a chance?

By the way, do you (or anyone) know what texinfo.cat is for?  It is
these three lines:

    OVERRIDE YES

    PUBLIC "-//GNU//DTD TexinfoML V4.13.91//EN" "texinfo.dtd"

It's been around for many years and is automatically generated by make.
I just don't remember who wanted it or why.

Thanks,
Karl