Re: dtd version

[Patrice Dumas]

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