FreeBSD maintainers made this change: Thanks, I'll try to look at this tomorrow or Monday.
Meanwhile, any sort of explanation/documentation of what all these changes are doing would be helpful :). For instance, what bug it's fixing ... _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
