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.
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
