[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC] makeinfo --html and case insensitive filesystems.
From: |
Carlos O'Donell |
Subject: |
Re: [RFC] makeinfo --html and case insensitive filesystems. |
Date: |
Wed, 17 May 2006 15:10:28 -0400 |
User-agent: |
Mutt/1.5.11+cvs20060126 |
On Wed, May 17, 2006 at 08:42:37PM +0300, Eli Zaretskii wrote:
> > Date: Tue, 16 May 2006 16:00:31 -0400
> > From: Carlos O'Donell <address@hidden>
> >
> > 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.
>
> Did you actually see that happen? If so, please state the version of
> Texinfo where this problem happens, and please provide a recipe for
> reproducing the problem. That's because (IIRC) makeinfo has (or at
> least had at some point) code to detect this situation and silently
> resolve it (by renaming one of the offending files).
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 :(
makeinfo (GNU texinfo) 4.8
cat > test.texi <<EOF
\input texinfo @c -*- Texinfo -*-
@node Top
@top Test
Testing 1. 2. 3.
@menu
* Index:: Index
@end menu
@node Index
@unnumbered Index
@printindex cp
@contents
@bye
EOF
makeinfo --html test.texi
ls test/
index.html Index.html
Cheers,
Carlos.
--
Carlos O'Donell
CodeSourcery
address@hidden
(650) 331-3385 x716
- [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 <=
- 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