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. -- Pat
