While reading the Texinfo manual, I noticed this problem: Node "@bye File Ending"
The sentence "None of the formatting commands reading anything following @bye." is probably incorrect. I'll leave it up to you to reword it. A very good manual, by the way. A pleasant read. Thanks Ted _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
