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

