Case insensitive file systems

[Akim Demaille]

Hi all,

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.

$ makeinfo --html -o bison.html  "/Users/akim/src/gnu/bison-2.5/doc/bison.texi"
$

On this machine, an OS X with case-insensitive file system, index.html
is completely broken, sort of like what you'd get if you'd put
both index.html and Index.html in one pod of Cronenberg's "The fly".

Ok, I deserve to the punished (and even PUNISHED) for having such
a broken FiLe SyStEm, yet, it's too late and the documentation
of Bison on gnu.org is partly damaged
(http://www.gnu.org/software/bison/manual/html_node/Index.html).
So, if there really some code to diagnose such file system wreckage?
An error would do fine.

        Akim