set -e
dot "$@"
-if [ -r "$4" ]; then
- size="`pngtopnm "$4" | sed -n -e '2p'`"
- width_a="${size% *}"
- height_a="${size#* }"
- if [ $width_a -gt 800 ]; then
- for file in "${1%.dot}".*; do
- cp "$file" "$file.a"
- done
- sed -e 's/rankdir=LR/rankdir=TB/' -e t -e 's/rankdir=TB/rankdir=LR/' "$1.a" > "$1"
- dot "$@"
- size="`pngtopnm "$4" | sed -n -e '2p'`"
- width_b="${size% *}"
- height_b="${size#* }"
- if [ $width_a -lt $width_b ]; then
- for file in "${1%.dot}".*.a; do
- mv "$file" "${file%.a}"
- done
- else
- rm "${1%.dot}".*.a
+
+case "$4" in
+ *.png)
+ if [ -r "$4" ]; then
+ size="`pngtopnm "$4" | sed -n -e '2p'`"
+ width_a="${size% *}"
+ height_a="${size#* }"
+ if [ $width_a -gt 800 ]; then
+ for file in "${1%.dot}".*; do
+ cp "$file" "$file.a"
+ done
+ sed -e 's/rankdir=LR/rankdir=TB/' -e t -e 's/rankdir=TB/rankdir=LR/' "$1.a" > "$1"
+ dot "$@"
+ size="`pngtopnm "$4" | sed -n -e '2p'`"
+ width_b="${size% *}"
+ height_b="${size#* }"
+ if [ $width_a -lt $width_b ]; then
+ for file in "${1%.dot}".*.a; do
+ mv "$file" "${file%.a}"
+ done
+ else
+ rm "${1%.dot}".*.a
+ fi
+ fi
fi
- fi
-fi
+ ;;
+ *) ;;
+esac