makedots.sh

   1 #!/bin/sh
   2
   3 LIST=`find * -iname "*.dot" `
   4
   5 for FILE in $LIST; do
   6         BASENAME=`basename $FILE .dot`;
   7         dot -Tpng -o graphs/$BASENAME.png $FILE;
   8         rm -f $FILE;
   9 done
  10