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

[Eli Zaretskii]

> Date: Wed, 17 May 2006 16:57:35 -0400
> From: Carlos O'Donell <address@hidden>
> Cc: address@hidden
> 
> > > 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 :(
> > 
> > Is that really an important case?
> 
> It is for me :)

Why can't you run makeinfo directly on the case-insensitive
filesystem?  What OS is that, btw?

> > Anyway, what solution, except running makeinfo on a case-insensitive
> > filesystem, do you propose?
> 
> A method by which the output files can be prefixed with a montonically
> increasing number, thus making them unique in a case-insensitive
> filesystem.

As far as I remember the makeinfo code, this will require deep changes
in how it generates file names.  That's because the file name needs to
be generated from the node name in many places: not only where the
@node line is seen, but also where an @xref to that node is seen.
Obviously, an @xref to a node can be in the Texinfo source before the
node itself, so makeinfo cannot know what ordinal number that node
will get.

In other words, your suggestion would require to modify makeinfo so
that it does at least 2 passes over the Texinfo file, whereas now it's
a one-pass translator.

But that's my opinion and my memory; I no longer actively hack
Texinfo.