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
