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.