all:	IType.pdf IType.png;

QRCode.png:	;
	qrencode -o QRCode.png -s 1 -m 1 'drorbn.net/g24'

IType1.pdf IType1.pdftex_t:	IType1.fig QRCode.png;
	fig2dev -L pdftex IType1.fig IType1.pdf
	fig2dev -L pdftex_t -p IType1.pdf IType1.fig IType1.pdftex_t
	rm -f IType1.fig.bak

IType.pdf:	IType.tex IType1.tex IType1.pdf IType1.pdftex_t dbnsymb.sty dbnsymb.mf figs/*.pdf figs/*.pdf_t Snips/*;
	pdflatex IType.tex
	pdflatex IType.tex
	rm -f IType.log IType.out

IType.png:	IType.pdf;
	convert -density 300 -scene 1 'IType.pdf[0-3]' -background white IType.png
	montage -geometry +0+0 -gravity north -background white -tile 2x2 \
		IType-1.png IType-2.png IType-3.png IType-4.png IType.png
	convert -trim -geometry 800x800 -gamma 0.75 IType.png IType_800.jpg
	rm -f IType-?.png

dbnsymb.sty dbnsymb.mf:	;
	wget http://www.math.toronto.edu/~drorbn/projects/dbnsymb/dbnsymb.mf
	wget http://www.math.toronto.edu/~drorbn/projects/dbnsymb/dbnsymb.sty

figs/%.pdf:	figs/%.fig;
	fig2dev_opts=`awk -F':' '/# fig2dev_opts/ {print $$2};' figs/$*.fig`;\
	echo $$fig2dev_opts ;\
	fig2dev -L pdftex_t $$fig2dev_opts -p figs/$*.pdf figs/$*.fig figs/$*.pdf_t ;\
	fig2dev -L pdftex -g white $$fig2dev_opts figs/$*.fig figs/$*.pdf

figs/%.pdf_t:	figs/%.pdf;

.PRECIOUS:	figs/%.fig;
figs/%.fig:	;
	cp -i ../empty.fig figs/$*.fig
	cp -i ../empty.pdf figs/$*.pdf
	cp -i ../empty.pdf_t figs/$*.pdf_t