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.
Would it be possible to have an option where split files are prefixed? Complaining about two files which might conflict in a case insensitive filesystem is also another option. Comments? Many thanks! Cheers, Carlos. -- Carlos O'Donell CodeSourcery [EMAIL PROTECTED] (650) 331-3385 x716 _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
