[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML anchors in links to nodes
|
From: |
Eli Zaretskii |
|
Subject: |
Re: HTML anchors in links to nodes |
|
Date: |
Mon, 06 May 2019 05:30:29 +0300 |
> From: Gavin Smith <address@hidden>
> Date: Sun, 5 May 2019 21:35:46 +0100
>
> It wouldn't be completely trivial to make this change, as it should only
> happen if the output is split by node. There is also a case, I seem to
> remember, where more than one node can be output in the same file if the
> system has a case-insensitive file system.
One other case (at least it used to be) is with links to anchors.