Re: [[email protected]: texinfo 4.7.91 pretest available]

    talking about changing only 2 file names, which shouldn't be a
    problem.  Or is it?

Yes, unfortunately, it is.  Those files come from gnulib, and they
should be changed at the source, I can't easily change them just for
texinfo (and don't want to).  Especially since there are other
workarounds, ugly as they are.

Perhaps one of you could write [email protected] about the problem?

Thanks,
karl
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest