mfg.png : mfg.jpg
	djpeg $< | pnmscale -height 40 | pnmtopng > $@