On Fri, Mar 08, 2013 at 11:38:30PM -0600, Joel Sherrill wrote: > Hi > > Another buglet or oddity. > > texi2any produces a clean top level index.html. > > It looks like the texi2html output with our modified top node > and menu structure produces an index.html which quickly > redirects you to top with the message: > > <p>The node you are looking for is at <a href="c_user.html#Top">Top</a>.</p>
Indeed, the default for the Top node/ @top element is manual_name.html for texi2html. So you have to specify --top-file=index.html. As you already do in fact, according to http://rtemsramblings.blogspot.fr/2013/02/rtems-texinfo-tools-update.html -- Pat
