Artwork updates.
trunk/artwork/workspace.svg
trunk/artwork/thread_states.dot (diff)
trunk/artwork/thread_states.png (diff)
trunk/artwork/workspace.dia (diff)
trunk/artwork/workspace.png (diff)
trunk/bin/dotpng.sh (diff)
trunk/bin| @@ -0,0 +1,11 @@ | ||
| 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
