[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC] makeinfo --html and case insensitive filesystems.
From: |
Patrice Dumas |
Subject: |
Re: [RFC] makeinfo --html and case insensitive filesystems. |
Date: |
Thu, 18 May 2006 12:06:46 +0200 |
User-agent: |
Mutt/1.4.2.1i |
> A method by which the output files can be prefixed with a montonically
> increasing number, thus making them unique in a case-insensitive
> filesystem.
It would break the html manuals cross-references. I guess this is not
a very used setting but it should be considered.
Anyway a solution I see would be to have a partition with case-insensitive
behaviour (a fat) and run makeinfo in that partition. I believe that
loopback partitions exist on most recent operating systems, such that it
needs not to be a real partition.
--
Pat
- [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, 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, 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 <=