Index: trunk/util/build_ps.sh
===================================================================
--- trunk/util/build_ps.sh	(nonexistent)
+++ trunk/util/build_ps.sh	(revision 13611)
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+# convert an ordered list of html documents into ps, using .png versions of
+# .svg images, inserting a page break between any two files.
+
+(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
+
+echo html2ps $HTML2PS_OPTS --colour >&2

Property changes on: trunk/util/build_ps.sh
___________________________________________________________________
Added: svn:executable
## -0,0 +1 ##
+*
\ No newline at end of property