3 topdir="`dirname "$0"`"; topdir="`cd "$topdir/.."; pwd`"
4 "$topdir/doclib/dot-munge.pl" "$1"
8 first="$1"; shift; shift
9 set -- "$first" "-Tpng" "$@"
21 size="`pngtopnm "$4" | sed -n -e '2p'`"
24 if [ $width_a -gt 800 ]; then
25 for file in "${1%.dot}".*; do
28 sed -e 's/rankdir=LR/rankdir=TB/' -e t -e 's/rankdir=TB/rankdir=LR/' "$1.a" > "$1"
30 size="`pngtopnm "$4" | sed -n -e '2p'`"
33 if [ $width_a -lt $width_b ]; then
34 for file in "${1%.dot}".*.a; do
35 mv "$file" "${file%.a}"