all:	*.pdf_t;

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

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