modelverse/techreport/general/images/render_all.sh

#!/bin/bash
for f in *.dot
do
    dot -Teps -Gratio=1 -Gsize=30 $f > ${f%%.*}.eps
done

dot -Teps axioms_overview.dot > axioms_overview.eps