Unfortunately, I can't verify this with the latest makeinfo right now,
so I figured I'd better report it anyway so it doesn't get lost...Thanks for the report. If you find a reproducible case with the current version, please send it along .... The bug doesn't ring any bells offhand, but 4.0 was a long time ago. Thanks, karl _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
