diff options
Diffstat (limited to 'make-setup-generated.sh')
| -rwxr-xr-x | make-setup-generated.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/make-setup-generated.sh b/make-setup-generated.sh index f15d148..4caff72 100755 --- a/make-setup-generated.sh +++ b/make-setup-generated.sh @@ -61,3 +61,11 @@ cat > setup-generated.tex <<EOF \newcommand{\virtiodraftstagename}{$STAGENAME} \newcommand{\virtiodraftoasisstagename}{$OASISSTAGENAME} EOF + +# Generate PNG from DOT +mkdir -p images/generated +for file in images/*.dot +do + BASENAME=`basename "$file" .dot` + dot -Tpng -o images/generated/${BASENAME}.png ${file} +done |