3 topdir="`dirname "$0"`"; topdir="`cd "$topdir/.."; pwd`"
4 if head -4 "$1" | grep -q nomunge; then
8 sed -i -e 's/rankdir=LR/rankdir=TB/' "$1"
9 "$topdir/doclib/dot-munge.pl" "$1"
10 unflatten -l2 -c2 -f -o "$1".unflat "$1"
15 first="$1"; shift; shift
16 set -- "$first" "-Tpng" "$@"
28 size="`pngtopnm "$4" | sed -n -e '2p'`"
31 if [ $width_a -gt 800 ]; then
32 for file in "${1%.dot}".*; do
35 sed -e 's/rankdir=LR/rankdir=TB/' -e t -e 's/rankdir=TB/rankdir=LR/' "$1.a" > "$1"
37 size="`pngtopnm "$4" | sed -n -e '2p'`"
40 if [ $width_a -lt $width_b ]; then
41 for file in "${1%.dot}".*.a; do
42 mv "$file" "${file%.a}"