X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fdot;h=ba3169246c04749b739632cb519609d971998379;hb=2ceea350c518b598d9a1b055912088d9c65c8b28;hp=a0efac56e12f70021b6194a5aa9245757a18b6c2;hpb=2bb6d62e727b420b3554a77641b550da40d81a9e;p=senf.git

diff --git a/doclib/dot b/doclib/dot
index a0efac5..ba31692 100755
--- a/doclib/dot
+++ b/doclib/dot
@@ -14,25 +14,31 @@ esac
 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