bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Case insensitive file systems


From: Patrice Dumas
Subject: Re: Case insensitive file systems
Date: Sat, 21 Jul 2012 12:27:09 +0200
User-agent: Mutt/1.5.20 (2009-12-10)

On Fri, Jul 20, 2012 at 01:51:36PM +0300, Eli Zaretskii wrote:
> > From: Akim Demaille <address@hidden>
> > 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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]