> > Is this still present after a 'make distclean' or a clean checkout > (in that order...) > > Andre'
Hmm.. I tried make distclean but get this: `cat -s GNUmakefile Makefile makefile |& sed -n -e "/No such file/d" -e "/^[^ #].*:/s/:.*//p"`: No match. By a clean checkout, do you mean a completely new download of the cvs tree? nirmal
