Re: Case insensitive file systems

[Eli Zaretskii]

> From: Akim Demaille <address@hidden>
> Date: Fri, 20 Jul 2012 12:30:20 +0200
> 
> I know the issue has already been reported before, for instance
> http://lists.gnu.org/archive/html/bug-texinfo/2006-05/msg00018.html
> but makeinfo --html happily merges files with names that differ
> only by the case.
> 
> Eli reported somewhere in the previous thread that makeinfo should
> warn about this, but it does not.

It shouldn't warn.  Rather, it should put both nodes on the same file,
but in a way that the browser goes to the correct node depending on
what the user wants -- to the Top node when the user goes to "top",
and to the "Index" node when the user wants that.  This is entirely
possible using HTML anchors and href's.  (I'm quite sure makeinfo was
already doing that at some point, but maybe I was dreaming.)

Also, makeinfo should have a switch to _pretend_ it's on a
case-insensitive filesystem, as many users generate HTML files on Unix
and then use them on Windows or OS X.

See also --transliterate-file-names, maybe it could help (I didn't
try).