1
#!/bin/sh
2
3
IN="$1"
4
OUT="`basename "$1" .dot`.png"
5
6
dot -Tps -o dot2png.tmp.$$.ps "$IN"
7
ps2png dot2png.tmp.$$.ps
8
rm dot2png.tmp.$$.ps
9
mv dot2png.tmp.$$.png "$OUT"