# I felt bad about not having these commands somewhere

all: mdd.eps ui.eps frobbers.eps mddmin.eps mddgame.eps mddui.eps mdduir2.eps


mdd.eps: mdd.jpg
	convert -page 750x750 mdd.jpg mdd.eps

ui.eps: ui.jpg
	convert -page 400x400 ui.jpg ui.eps
	
frobbers.eps: frobbers.JPG
	convert -page 400x400 frobbers.JPG frobbers.eps
	
mddmin.eps: mdd_min.JPG
	convert -page 750x750 mdd_min.JPG mddmin.eps
	
mddgame.eps: mdd_game.JPG
	convert -page 600x600 mdd_game.JPG mddgame.eps
	
mddui.eps: mdd_ui.JPG
	convert -page 400x400 mdd_ui.JPG mddui.eps
	
mdduir2.eps: mdd_ui_r2.JPG
	convert -page 400x400 mdd_ui_r2.JPG mdduir2.eps