Index: build_ps.sh
===================================================================
--- build_ps.sh	(revision 30701)
+++ build_ps.sh	(revision 30702)
@@ -62,7 +62,6 @@
 
 (for n in "$@"
 do
-	echo "<!--NewPage-->";
 	bn1=`dirname $n`
 	for svg in `ls $bn1/*.svg 2>/dev/null`
 	do
@@ -73,7 +72,20 @@
 			convert $svg $png
 		fi
 	done
-	sed "$HMTL2PS_SED;s/\.svg/.png/g;s@src=\"@src=\"$bn1/@g" $n
+	case $n in
+		*.html)
+			echo "<!--NewPage-->";
+			sed "$HMTL2PS_SED;s/\.svg/.png/g;s@src=\"@src=\"$bn1/@g" $n
+			;;
+		*.png|*.svg) ;;
+		*)
+			echo "<table border=1 cellspacing=0><tr><td>"
+			echo "<p>$n:"
+			echo "<pre>"
+			cat $n
+			echo "</pre>"
+			echo "</table>"
+	esac
 done) | autotoc | tee HTML2PS.html | html2ps $HTML2PS_OPTS --colour
 
 echo html2ps $HTML2PS_OPTS --colour >&2