#!/bin/bash
# Makes .png files from all .dot files
# Note that graphviz package should be installed

for file in *.dot
do
  dot -Tpng "$file" -o "${file//.dot}".png
done