
all : head_comm
	wml index.wml > ../index.html
	wml notes.wml > ../notes.html
	wml arch.wml > ../arch.html
	wml faq.wml > ../faq.html
	wml src.wml > ../src.html
	wml officiel.wml > ../officiel.html
	wml install.wml > ../install.html

head_comm : ../../*.ml*
	./extract_head_comments.sh
