all:
	TEXINPUTS=.:/home/godel/public//:/usr/share/texmf/tex// latex final.ltx

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