Re: [RFC] makeinfo --html and case insensitive filesystems.

[Carlos O'Donell]

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 <address@hidden>
> > Cc: address@hidden
> > 
> > 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
address@hidden
(650) 331-3385 x716