> Date: Wed, 17 May 2006 16:57:35 -0400 > From: Carlos O'Donell <[EMAIL PROTECTED]> > Cc: [email protected] > > > > 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. _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
