PNG generation tool.
trunk/artwork/dotpng.sh
trunk/artwork/architecture.png (diff)
trunk/Make PNG image (select .dot file).launch (diff)| @@ -1,11 +0,0 @@ | ||
| 1 | -#!/bin/bash | |
| 2 | -if [ $# -eq 1 ] | |
| 3 | -then | |
| 4 | -# dot $1.dot -o$1.png -Tpng | |
| 5 | - echo Generating ${1%.*}.png | |
| 6 | - dot $1 -o${1%.*}.png -Tpng | |
| 7 | - echo | |
| 8 | - echo Done | |
| 9 | -else | |
| 10 | - echo "Usage: dotpng.sh <dotfile> (without .dot extension)" | |
| 11 | -fi |
gdisirio
