On Mon, Feb 25, 2013 at 02:57:57PM -0600, Joel Sherrill wrote: > > > Done! And it worked! > > Should I also include the @menu... @end menu in this?
Not needed. > Do people include a top with text in printed formats? Seems strange to me. In general, no, especially if they follow the recommended setup, which has @top indeed enclosed in @ifnottex. -- Pat