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. Georg
