Re: permanent links using #fragment names

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Sun, 9 Jan 2022 19:02:58 +0000
> Cc: Per Bothner <per@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.