> Date: Wed, 17 May 2006 15:10:28 -0400 > From: Carlos O'Donell <[EMAIL PROTECTED]> > Cc: [email protected] > > 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 :(
Is that really an important case? Anyway, what solution, except running makeinfo on a case-insensitive filesystem, do you propose? _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
