bug-texinfo
[Top][All Lists]
Advanced

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

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


From: Eli Zaretskii
Subject: Re: [RFC] makeinfo --html and case insensitive filesystems.
Date: Wed, 17 May 2006 23:35:02 +0300

> Date: Wed, 17 May 2006 15:10:28 -0400
> From: Carlos O'Donell <address@hidden>
> Cc: address@hidden
> 
> The html files could be generated in a cross environment where the
> original filesystem is case-sensitive, but after a complex install
> procedure the target filesystem may be case-insensitive :(

Is that really an important case?

Anyway, what solution, except running makeinfo on a case-insensitive
filesystem, do you propose?




reply via email to

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