[Top][All Lists]
[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?
- [RFC] makeinfo --html and case insensitive filesystems., Carlos O'Donell, 2006/05/16
- Re: [RFC] makeinfo --html and case insensitive filesystems., Eli Zaretskii, 2006/05/17
- Re: [RFC] makeinfo --html and case insensitive filesystems., Carlos O'Donell, 2006/05/17
- Re: [RFC] makeinfo --html and case insensitive filesystems.,
Eli Zaretskii <=
- Re: [RFC] makeinfo --html and case insensitive filesystems., Carlos O'Donell, 2006/05/17
- Re: [RFC] makeinfo --html and case insensitive filesystems., Eli Zaretskii, 2006/05/17
- Re: [RFC] makeinfo --html and case insensitive filesystems., Carlos O'Donell, 2006/05/18
- Re: [RFC] makeinfo --html and case insensitive filesystems., Eli Zaretskii, 2006/05/18
- Re: [RFC] makeinfo --html and case insensitive filesystems., Karl Berry, 2006/05/18
- Re: [RFC] makeinfo --html and case insensitive filesystems., Patrice Dumas, 2006/05/18