Milawa.img:  
	rm -rf document
	mkdir document
	cp root.tex document
	isatool usedir -v true -b -i true -D `pwd`/document -d pdf HOL Cheap.img

clean:
	rm -rf document
	rm -f *~