Re: [RFC] makeinfo --html and case insensitive filesystems.

[Carlos O'Donell]

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