Allow for faster and more accurate bug-reporting by endusers
of generated texinfo documents (Info, TeX, HTML)Thanks for the suggestion, but I'm afraid I don't yet see what this would buy us? What would this command output? Nothing, I assume. What would use it? _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
