Re: texinfo 4.2 manual typo

[Karl Berry]

    "None of the formatting commands reading anything following @bye."

Thanks much.  I fixed it.


_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo