Re: permanent links using #fragment names

[Gavin Smith]

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 <per@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.