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

