On Thu, May 11, 2006 at 01:15:33PM +0200, Georg Baum wrote: > Enrico Forestieri wrote: > > > No, I just meant that. I think that Georg should update his scripts > > for debian as currently they need as many full compiles as the number > > of frontends. > > Note that this does not work in 1.3.x, but from 1.4.x on. Note further that > my 1.4.x debian scripts do already take advantage of that.
I had only tried the 1.3.x scripts. Next time I'll get my facts straight before talking nonsense. Sorry. -- Enrico