Published shell script to convert *.ps title pages to *.jpg & *s.jpg images

[www.energie.vellum.cz.git] / title-convert.sh

diff --git a/title-convert.sh b/title-convert.sh
new file mode 100755 (executable)
index 0000000..16624fb
--- /dev/null
+++ b/title-convert.sh
@@ -0,0 +1,14 @@
+#! /bin/sh
+
+while [ $# -gt 0 ];do
+       f="`echo $1|sed 's/\.ps$//'`"
+       shift
+
+       gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".ps -c quit
+       pngtopnm "$f"-gs.png |pnmcrop|pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
+       rm -f "$f"-gs.png
+       pngtopnm "$f".png |cjpeg -optimize >"$f".jpg
+       pngtopnm "$f".png |pnmscale .2|cjpeg -optimize >"$f"s.jpg
+       rm -f "$f".png
+
+       done