On Mon, Jan 09, 2023 at 09:57:45AM +0100, Patrice Dumas wrote:
>
> Actually, it could be that redirection pages clash with element file
> names because of transliteration, for example the following names would
> clash:
> @node Près
> @anchor{Prés}
It is indeed the case, I added a test case that demonstrates this issue:
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=2a18f1062a88ab7be3d59e5afe93af7f9869ee1a
transliterated_names_conflicts in t/html_tests.t.
Fixing this case should fix the case-insensistive filesystems issue,
(with CASE_INSENSITIVE_FILENAMES=1).
If you want me to fix it, I can too.
--
Pat
