[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: (Slightly) broken html doc

From: Bruno Haible
Subject: Re: (Slightly) broken html doc
Date: Fri, 14 Sep 2018 12:34:03 +0200
User-agent: KMail/5.1.3 (Linux/4.4.0-134-generic; KDE/5.18.0; x86_64; ; )

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

$ 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]