On Wed, May 17, 2006 at 08:42:37PM +0300, Eli Zaretskii wrote: > > 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).
The html files could be generated in a cross environment where the original filesystem is case-sensitive, but after a complex install procedure the target filesystem may be case-insensitive :( makeinfo (GNU texinfo) 4.8 cat > test.texi <<EOF \input texinfo @c -*- Texinfo -*- @node Top @top Test Testing 1. 2. 3. @menu * Index:: Index @end menu @node Index @unnumbered Index @printindex cp @contents @bye EOF makeinfo --html test.texi ls test/ index.html Index.html 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
