Index: doc/proposals/concurrency/Makefile
===================================================================
--- doc/proposals/concurrency/Makefile	(revision cf966b55ed3bd25f2fa0711a1114e05eaf36716a)
+++ doc/proposals/concurrency/Makefile	(revision 05a0ff23aca6d32e0b0db5cd7194597d485dd0d9)
@@ -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: #