[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: emacs manuals: make docs (html) issue with the index.html output
From: |
Gavin Smith |
Subject: |
Re: emacs manuals: make docs (html) issue with the index.html output |
Date: |
Tue, 19 Oct 2021 11:36:01 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Tue, Oct 19, 2021 at 03:31:28PM +0900, Jean-Christophe Helary wrote:
> I am not sure whether this is an emacs "make" issue or a texinfo issue so I
> am sending this report to the 2 lists.
>
> When running "make docs" to produce the emacs manuals HTML sets with the
> following options:
>
> HTML_OPTS = --split=chapter --html
>
> There are issues with the ToC files and index files in
>
> 1) the elisp reference set
> 2) the lisp intro set
>
> In both cases, the issue seems to be that the ToC is output as
> "index.html#SEC_Contents" and is then overwritten by the index which is
> output as "Index.html" (notice the change in case).
>
> The navigation HTML reads:
>
> [<a href="index.html#SEC_Contents" title="Table of contents"
> rel="contents">Contents</a>][<a href="Index.html" title="Index"
> rel="index">Index</a>]
Can you link to an online manual where the problem occurs as I couldn't find
one (I checked three of the emacs manuals before giving up).
> It looks like (I have not checked for all the manuals) when a manual only has
> 1 index it is output as Index.html and the ToC is output as index.html, but
> on case-insensitive systems (macOS) the files conflict and only the index is
> kept (presumably after overwriting the ToC).
Have you actually tested this on macOS?
I haven't but I remember there was code in texi2any to deal with this exact
eventuality.
I haven't but I remember there was code in texi2any to deal with this exact
eventuality. If there was a node called "index" then it would be output at
the bottom of index.html.
> Wouldn't it be more sensible to call the ToC just ToC.html so that it never
> conflicts with any concept index file?
For HTTP, index.html is a special name that is the file returned if
no filename component was present in the URL.