[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[RFC] makeinfo --html and case insensitive filesystems.
From: |
Carlos O'Donell |
Subject: |
[RFC] makeinfo --html and case insensitive filesystems. |
Date: |
Tue, 16 May 2006 16:00:31 -0400 |
User-agent: |
Mutt/1.5.11+cvs20060126 |
When generating html output using makeinfo --html, the @node names are
directly translated into .html files. This splitting may lead to two
files "Index.html" and "index.html" which conflict if the filesystem is
case-insensitive.
Would it be possible to have an option where split files are prefixed?
Complaining about two files which might conflict in a case insensitive
filesystem is also another option. Comments?
Many thanks!
Cheers,
Carlos.
--
Carlos O'Donell
CodeSourcery
address@hidden
(650) 331-3385 x716
- [RFC] makeinfo --html and case insensitive filesystems.,
Carlos O'Donell <=
- 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, 2006/05/18