1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
source $stdenv/setup 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