Re: (Slightly) broken html doc

[Bruno Haible]

Hi Akim,

> You might already know this, but
> https://www.gnu.org/software/gnulib/manual/html_node/index.html shows
> the documentation of the ‘index’ module at its bottom.

Yes, most of us noticed this as well.

> It smells like a problem in makeinfo.

I agree. On the other hand, when you consider that 'index.html' has two
roles - being the entrypoint to the directory and the documentation of
the 'index' node - I don't see how to improve the result. We could of
course rename the 'index' node... Hmm, maybe conditionalize it based
on @ifinfo and @ifhtml?

> The page was used with Texinfo 6.3.  I tried to reproduce it with Texinfo
> 6.5, but then the index.html I get is really the index, not the front page
> of the documentation.

For me, the results in Texinfo 6.3, 6.4, 6.5 all show the same issue. No
difference:

$ ls -l */manual/html_node/?ndex.html
-rw-rw-r-- 1 bruno bruno 324292 Sep 14 12:14 6.3/manual/html_node/index.html
-rw-rw-r-- 1 bruno bruno 510555 Sep 14 12:14 6.3/manual/html_node/Index.html
-rw-rw-r-- 1 bruno bruno 324295 Sep 14 12:15 6.4/manual/html_node/index.html
-rw-rw-r-- 1 bruno bruno 510558 Sep 14 12:16 6.4/manual/html_node/Index.html
-rw-rw-r-- 1 bruno bruno 324295 Sep 14 12:17 6.5/manual/html_node/index.html
-rw-rw-r-- 1 bruno bruno 510558 Sep 14 12:17 6.5/manual/html_node/Index.html

So, just upgrading to a newer 'makeinfo' won't fix it.

Bruno