Re: [help-texinfo] Odd Title Page in PDF Output

[Joel Sherrill]

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
address@hidden        On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
Support Available                (256) 722-9985