(texinfo.tex -> texinfo/texinfo.tex) I put in there, so I put it back.
(If you want me to remove it, though, I will.) I'm not sure what we
gain by breaking it.I have no opinion--thanks for DTRT. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
