On 2023-01-09 19:32, Patrice Dumas wrote:
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.
Feel free to do it if you have time right now for it or I can try to take a stab at it in a few days.
