2005-12-05 15:11:09 +01:00
|
|
|
source $stdenv/setup
|
2005-06-21 00:43:35 +02:00
|
|
|
|
|
|
|
ensureDir $out
|
|
|
|
|
|
|
|
dot2pdf() {
|
|
|
|
sourceFile=$1
|
|
|
|
targetName=$out/$(basename $(stripHash $sourceFile; echo $strippedName) .dot).pdf
|
2005-06-21 22:34:15 +02:00
|
|
|
echo "converting $sourceFile to $targetName..."
|
2005-06-21 00:43:35 +02:00
|
|
|
dot -Tps $sourceFile > tmp.ps
|
|
|
|
epstopdf --outfile $targetName tmp.ps
|
|
|
|
}
|
|
|
|
|
|
|
|
for i in $dotGraph; do
|
|
|
|
if test -d $i; then
|
|
|
|
for j in $i/*; do dot2pdf $j; done
|
|
|
|
else
|
|
|
|
dot2pdf $i
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|