Index: trunk/util/build_ps.sh
===================================================================
--- trunk/util/build_ps.sh	(revision 30433)
+++ trunk/util/build_ps.sh	(revision 30434)
@@ -6,12 +6,17 @@
 (for n in "$@"
 do
 	echo "<!--NewPage-->";
-	if test -z $HTML2PS_SED
-	then
-		cat $n
-	else
-		sed "$HMTL2PS_SED" $n
-	fi
-done) | sed "s/\.svg/.png/g" | html2ps $HTML2PS_OPTS --colour
+	bn1=`dirname $n`
+	for svg in `ls $bn1/*.svg 2>/dev/null`
+	do
+		png=${svg%%.svg}.png
+		if test ! -f $png
+		then
+			echo "Converting $svg to $png..." >&2
+			convert $svg $png
+		fi
+	done
+	sed "$HMTL2PS_SED;s/\.svg/.png/g;s@src=\"@src=\"$bn1/@g" $n
+done) | tee HTML2PS.html | html2ps $HTML2PS_OPTS --colour
 
 echo html2ps $HTML2PS_OPTS --colour >&2