On 2/25/2013 3:30 PM, Patrice Dumas wrote:
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.
I am guessing that since some of these documents originated around 1994 and
have been hacked on since then, I am just lucky this is all that is
wrong with them.
Thanks again.
--
Joel Sherrill, Ph.D. Director of Research & Development
joel.sherr...@oarcorp.com On-Line Applications Research
Ask me about RTEMS: a free RTOS Huntsville AL 35805
Support Available (256) 722-9985