bug-texinfo
[Top][All Lists]
Advanced

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



reply via email to

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