Re: texinfo-5.0.91 pretest available

[Patrice Dumas]

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