On Sun, Jan 09, 2022 at 08:50:23PM +0200, Eli Zaretskii wrote: > > Date: Sun, 9 Jan 2022 10:30:18 -0800 > > Cc: bug-texinfo@gnu.org > > From: Per Bothner <p...@bothner.com> > > > > I don't know what we do if case-folding leads to a name clash, > > 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 but look up CASE_INSENSITIVE_FILENAMES in the manual for a solution with texi2any.
