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