> From: Gavin Smith <gavinsmith0...@gmail.com> > Date: Sun, 9 Jan 2022 19:02:58 +0000 > Cc: Per Bothner <p...@bothner.com>, bug-texinfo@gnu.org > > > AFAIU, it does. This is a long-standing problem with Texinfo. It was > > solved at some point, but the solution was lost when we moved to > > texi2any from the C implementation of makeinfo. > > I don't know what C makeinfo did for this
It placed all the nodes whose names clashed into a single file, and rewrote the hyperlinks to go each one to the corresponding #Foo anchor in that single file. > but look up CASE_INSENSITIVE_FILENAMES in the manual for a solution > with texi2any. Basically, it did the same, but I think it did that by default, so that the resulting HTML files could be installed on a case-insensitive filesystem.
