[Maxima-discuss] Texinfo 6.8 vs 7.1

[Jaime V. <vi...@fe...>]

Hello Raymond,

I have noticed that the index.html page looks very different when 
produced with texinfo 6.8 or 7.2, as you can see in the attachments.

With version 6.8 the page has a title and it shows just the detailed 
table of contents. When you click on a line in that table, it takes you 
directly to the page for that topic.

Using version 7.2 there is no tile, and there is a "short" table of 
contents followed by the detailed table of contents. When one clicks on 
the topics of the short table of contents, it moves down the page to the 
same topic in the detailed table of contents.

Would it be possible to make texinfo 7.2 produce the same result as 
texinfo 6.8?

Jaime