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

[Karl Berry]

Hi Carlos (and all),

    > A method by which the output files can be prefixed with a montonically
    > increasing number

Thanks for writing, however, adding another variation of the
nodename-to-filename mapping doesn't sound like a good idea to me.
There are already too many.

What comes to my mind is adding a cmdline option to say "use the method
for case-insensitive filesystems(*), regardless of whether the current
filesystem actually is".  That should be fairly easy to do, and if you
or anyone feels like writing a patch to implement it, I'll install it.
Failing that, I thought the loopback mount suggestion was brilliant :).

Since there are many more important (IMHO) things to spend time on than
pacify Windows, I can't make working on this a priority for myself.

Happy hacking,
Karl

(*) which is to put both the "index.html" and "Index.html" material into
the same file and use HTML anchors to get the links right.