[Top][All Lists]
[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: |
Mon, 23 Jul 2012 10:03:38 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-12-10) |
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