Index: doc/proposals/concurrency/Makefile
===================================================================
--- doc/proposals/concurrency/Makefile	(revision cf966b55ed3bd25f2fa0711a1114e05eaf36716a)
+++ doc/proposals/concurrency/Makefile	(revision f7397880750e07e837239917d936c796fff29c30)
@@ -75,4 +75,6 @@
 	build/*.tex     \
 	build/*.toc     \
+	figures/*.tex   \
+	*.png           \
 
 
@@ -117,4 +119,24 @@
 	fig2dev -L pstex_t -p $@ $< > $@_t
 
+figures/%.tex: build/%.pstex
+	echo -n 	"\documentclass[preview]{standalone}\n" 	\
+			"\usepackage[T1]{fontenc}\n" 			\
+			"\usepackage[usenames]{color}\n" 		\
+			"\usepackage{graphicx}\n" 			\
+			"\usepackage{listings}\n" 			\
+			"\usepackage{xspace}\n" 			\
+			"\input{style}\n" 				\
+			"\\\\begin{document}\n"				\
+			"{\\\\resizebox{3\\\\textwidth}{!}{\input{${basename ${notdir $@}}.pstex_t}}}\n" \
+			"\end{document}" > $@
+
+%.png : build/%.pstex figures/%.tex
+	echo ${basename $@}
+	${LaTeX} figures/${basename $@}.tex
+	dvips build/${basename $@}.dvi -o build/${basename $@}.ps
+	ps2pdf build/${basename $@}.ps
+	convert -negate ${basename $@}.pdf $@
+
+
 
 # Local Variables: #