# Fabrication des images PNG -------------------------------------------
images:
	@rm -f image*.png
	pdfdraw -r 100 -o image%03d.png ../doc.pdf