2005-12-05 14:11:09 +00:00
|
|
|
source $stdenv/setup
|
2005-06-20 23:43:35 +01:00
|
|
|
|
|
|
|
ensureDir $out
|
|
|
|
|
|
|
|
dot2pdf() {
|
|
|
|
sourceFile=$1
|
|
|
|
targetName=$out/$(basename $(stripHash $sourceFile; echo $strippedName) .dot).pdf
|
2005-06-21 21:34:15 +01:00
|
|
|
echo "converting $sourceFile to $targetName..."
|
2008-07-03 15:27:19 +01:00
|
|
|
export FONTCONFIG_FILE=$fontsConf
|
|
|
|
dot -Tpdf $sourceFile > $targetName
|
2005-06-20 23:43:35 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
for i in $dotGraph; do
|
|
|
|
if test -d $i; then
|
|
|
|
for j in $i/*; do dot2pdf $j; done
|
|
|
|
else
|
|
|
|
dot2pdf $i
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|