> Date: Tue, 16 May 2006 16:00:31 -0400 > From: Carlos O'Donell <[EMAIL PROTECTED]> > > 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). _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
