>> I'm submitting the following suggestion, included first with diff -uw, >> and then -u if you want to normalize some blanks.
> This patch seems to have been unnoticed. Err, I see it was applied. Thanks, and sorry for the noise. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
