Re: Texinfo -> HTML issues

[Kevin Ryde]

Aubrey Jaffer <address@hidden> writes:
>
> * Further burdening Index.html is the full "Table of Contents".  What
>   were you thinking??  Putting it at the end of the indexes doesn't
>   let me use it as an alternative to the unfriendly top node discussed
>   earlier.

@contents isn't at the end of the .texi input is it?  In the past that
was necessary, apparently, but these days it can go at the normal
place near the start.