all:
	latex final.ltx

ps:
	latex final.ltx
	mpost pics.mp
	dvips final.dvi -o
	gv final.ps
