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