On Fri, Aug 26, 2005 at 01:34:13AM +0200, Martin Zobel-Helas wrote: > > it seems to me you are running through configure twice, once before > doing "make" and once before doing "make install".
Yup. You are right. I've been trying to convince make to do otherwise, but I have so far been unsuccessful. Any help would be appreciated. -- Søren O. ,''`. : :' : GPG key id: 0x1EB2DE66 `. `' GPG signed mail preferred. `-