[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: @top & @nocde before change was Re: RTEMS and texinfo-5.0

From: Patrice Dumas
Subject: Re: @top & @nocde before change was Re: RTEMS and texinfo-5.0
Date: Wed, 20 Feb 2013 00:00:41 +0100
User-agent: Mutt/1.5.20 (2009-12-10)

On Tue, Feb 19, 2013 at 04:42:46PM -0600, Joel Sherrill wrote:
> On 2/19/2013 4:36 PM, Patrice Dumas wrote:
> >
> And to make matters worse, at least the way I fixed this
> is broken with 4.13. :(
> /home/joel/rtems-4.11-work/rtems//doc/started/started.texi:59: @top
> used before @node, defaulting to Getting Started With RTEMS.
> Is there an order which works with both? This stuff is subtle
> and I wouldn't be surprised if I hadn't tripped across it. :(

The classical way is simply to put the @node Top just before the @top
line.  But it also depends on what you want to do.  Maybe having the
@node Top last was not an oversight?  You may also try to have a node
that is not the @node Top right before @top, if you wish.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]