diff --git a/makedot.sh b/makedot.sh
new file mode 100755
index 0000000000000000000000000000000000000000..2a81cdbd1d5fa94b224ad9b930d3af35de534d19
--- /dev/null
+++ b/makedot.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+DOTOPTS="-Nfontsize=15 -Tpdf"
+
+dot recycling-noopt.dot $DOTOPTS > recycling-noopt.pdf 
+dot recycling-opt.dot $DOTOPTS > recycling-opt.pdf 
+
+dot identity-noopt.dot $DOTOPTS > identity-noopt.pdf 
+dot identity-opt.dot $DOTOPTS > identity-opt.pdf 
+
+dot pushdown-noopt.dot $DOTOPTS > pushdown-noopt.pdf 
+dot pushdown-opt.dot $DOTOPTS > pushdown-opt.pdf 
+
+dot parallel.dot $DOTOPTS > parallel-tree.pdf 
+
+dot survey-noopt.dot $DOTOPTS > survey-noopt.pdf 
+dot survey-opt.dot $DOTOPTS > survey-opt.pdf 
+
+
+dot defer.dot $DOTOPTS > defer.pdf