all:
	cd src; coqdep *.v >.depend; coq_makefile -opt -f Make -o Makefile; $(MAKE); coqdoc -t "The Certified Bsmllib in Coq" --html *.v
	mv -f src/*.ml from_extraction
	mv -f src/*.html doc/lib/
	cd doc/report/src; $(MAKE)
	cd Certified-Bsmllib; $(MAKE)
	echo "----------- That's all Folk ------------- "

clean:
	cd src; $(MAKE) clean; rm -f Makefile .depend
	rm -f from_extraction/*.ml
	rm -f doc/lib/*.html
	cd doc/report/src; $(MAKE) clean
	cd Certified-Bsmllib; $(MAKE) clean
	echo "---------- Now, it's clean ----------------- "
