all : simple.ps example.ps doc
simple.ps:	simple.mp
	rm -f ltx-simple*
	mpost simple
	mpost simple
	tex mproof simple.1
	dvips -f mproof.dvi > simple.ps

example.ps:	example.mp
	rm -f ltx-example*
	mpost example
	mpost example
	tex mproof example.1
	dvips -f mproof.dvi > example.ps

doc:	matlab.ps

matlab.ps:	matlab.dvi
	dvips -f matlab.dvi > matlab.ps

matlab.dvi:matlab.tex lstmp.tex
	latex matlab.tex