[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: |
Thu, 18 May 2006 02:39:35 -0400 |
User-agent: |
Mutt/1.5.11+cvs20060126 |
On Thu, May 18, 2006 at 06:24:04AM +0300, Eli Zaretskii wrote:
> > > 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?
Running makeinfo direclty on the case-insensitive filesystem is slow.
The OS with the case-insensitive filesystem is Windows.
> > 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.
The @node order does not have to be the ordinal order.
Set ordinal to 1.
Set spacer to "@"
Parse @xref or @node?
If a filename with [ordinal][spacer][item name].html
exists, then reference that.
Else create a new file [ordinal][spacer][item name].html,
reference that, and increment the ordinal number.
You need only keep a list of previously output files and search that.
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, 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 <=
- 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