On Wed, May 17, 2006 at 11:35:02PM +0300, Eli Zaretskii wrote: > > 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?
It is for me :) > Anyway, what solution, except running makeinfo on a case-insensitive > filesystem, do you propose? A method by which the output files can be prefixed with a montonically increasing number, thus making them unique in a case-insensitive filesystem. e.g. --split-fileprefix=<type> Specify one of 'none', or 'numeric'. If 'none' is specified, then the default file naming rules are followed. If 'numeric' is specified, then the output files are prefixed by a monotonically increasing number starting with '1' for the first file, '2' for the second, and so forth. If a literal prefix is given, then all files output have the same prefix. For the testcase using --split-fileprefix=numeric should output: 1index.html 2Index.html I am not opposed to outputing "1index.html" where it was previously "index.html" the canoncial HTML start file. We want to keep the feature as simple as possible. 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
