Re: [RFC] makeinfo --html and case insensitive filesystems.

[Eli Zaretskii]

> Date: Tue, 16 May 2006 16:00:31 -0400
> From: Carlos O'Donell <address@hidden>
> 
> When generating html output using makeinfo --html, the @node names are
> directly translated into .html files. This splitting may lead to two
> files "Index.html" and "index.html" which conflict if the filesystem is
> case-insensitive.

Did you actually see that happen?  If so, please state the version of
Texinfo where this problem happens, and please provide a recipe for
reproducing the problem.  That's because (IIRC) makeinfo has (or at
least had at some point) code to detect this situation and silently
resolve it (by renaming one of the offending files).