On Sun, Dec 09, 2012 at 11:48:24PM +0000, Karl Berry wrote: > 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?
Ok. > 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. It looks like something very similar with what I do in maintain/catalog.xml, a catalog of some sort to let an XMLl processor find the dtd. But I cannot be sure. -- Pat
