




out.mpg:
	ffmpeg -f image2 -i images/frame_%04d.ppm out.mpg

clean:
	rm images/*