# $Id: Makefile.boot,v 1.2 2004/11/30 17:16:06 jura Exp $
all:
	/bin/sh configure.sh
	mv Makefile.run Makefile
	make -f Makefile
