all:	S.pdf ProofOfPentagon.pdf;

%.pdf:	%.tex %.fig makefile;
	fig2dev -L pstex $*.fig $*.pstex
	fig2dev -L pstex_t -p $*.pstex $*.fig $*.pstex_t
	latex $*.tex
	latex $*.tex
	dvips $*.dvi -t letter -o $*.ps
	ps2pdf $*.ps $*.pdf
	convert -density 300 -trim -scene 1 $*.pdf -background white $*.png
	convert -geometry 400x400 -gamma 0.5 $*.png $*_400.jpg
	rm -f $*.aux $*.dvi $*.log $*.ps $*.pstex $*.pstex_t $*.out \
		$*.fig.bak $*.png