../configure: configure.in configure.head Makefile
autoconf
rm -f $@
cat configure.head configure >>$@
chmod +x $@
@rm configure