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