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
