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

[Patrice Dumas]

> A method by which the output files can be prefixed with a montonically
> increasing number, thus making them unique in a case-insensitive
> filesystem.

It would break the html manuals cross-references. I guess this is not
a very used setting but it should be considered.

Anyway a solution I see would be to have a partition with case-insensitive
behaviour (a fat) and run makeinfo in that partition. I believe that 
loopback partitions exist on most recent operating systems, such that it 
needs not to be a real partition.

--
Pat