>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:

>>>>> "Derek" == Derek R Price <[EMAIL PROTECTED]> writes:
Derek> FYI: the *.cps & *.fns files are only being created for
Derek> cvs.texinfo.

Tom> Did we ever get some resolution for this?

Nope, not yet.  I'm downloading CVS to check this.

Tom> Akim, I recall you had a patch which removed a large number of
Tom> file extensions from the texinfo clean list.  Perhaps these
Tom> should be added back?  (I really don't know whether these can be
Tom> discovered automatically.  I don't know that much about tex.)

I really think we can discover them all.  The thing is that index can
be created at will.  So unless you actually look for used indexes, you
can never be sure you don't forget something.

Reply via email to