blob: 687e6416ddc8ed51354804416e61f39fb0565f64 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
mkdir -p $out
dot2ps() {
sourceFile=$1
targetName=$out/$(basename $(stripHash $sourceFile) .dot).ps
echo "converting $sourceFile to $targetName..."
dot -Tps $sourceFile > $targetName
}
for i in $dotGraph; do
if test -d $i; then
for j in $i/*; do dot2ps $j; done
else
dot2ps $i
fi
done
|
