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
