source $stdenv/setup mkdir -p $out dot2pdf() { sourceFile=$1 targetName=$out/$(basename $(stripHash $sourceFile) .dot).pdf echo "converting $sourceFile to $targetName..." export FONTCONFIG_FILE=$fontsConf dot -Tpdf $sourceFile > $targetName } for i in $dotGraph; do if test -d $i; then for j in $i/*; do dot2pdf $j; done else dot2pdf $i fi done