On Fri, Jul 20, 2012 at 01:51:36PM +0300, Eli Zaretskii wrote: > > From: Akim Demaille <[email protected]> > > Date: Fri, 20 Jul 2012 12:30:20 +0200 > > > > I know the issue has already been reported before, for instance > > http://lists.gnu.org/archive/html/bug-texinfo/2006-05/msg00018.html > > but makeinfo --html happily merges files with names that differ > > only by the case. > > > > Eli reported somewhere in the previous thread that makeinfo should > > warn about this, but it does not. > > It shouldn't warn. Rather, it should put both nodes on the same file, > but in a way that the browser goes to the correct node depending on > what the user wants -- to the Top node when the user goes to "top", > and to the "Index" node when the user wants that. This is entirely > possible using HTML anchors and href's. (I'm quite sure makeinfo was > already doing that at some point, but maybe I was dreaming.)
I also think that makeinfo in C is indeed doing it. texi2any definitly do it too, and hopefully, the result is correct (if not perfect). > 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. Agreed. This has already been asked for at least twice. A possible workaround is to do a fat on a loopback filesystem (with Linux, I guess other kernel have something similar with a loopback fs available). i am not sure that this wll be done for th erelease, though. I put it in the TODO file. > See also --transliterate-file-names, maybe it could help (I didn't > try). I don't think that it would help. -- Pat
