On Fri, Jul 20, 2012 at 01:51:36PM +0300, Eli Zaretskii wrote: > > Also, makeinfo should have a switch to _pretend_ it's on a > case-insensitive filesystem, as many users generate HTML files on Unix > and then use them on Windows or OS X.
This is done in texi2any, may be turned on by setting a customization variable, like makeinfo --html --set CASE_INSENSITIVE_FILENAMES=1 manual.texi -- Pat
