#!/bin/sh
while [ $# -gt 0 ]; do
	target=`echo "$1" | sed -e 's/\.pgm$/.ps/'`
	echo Converting "$1" to "$target"
	convert -page 556.56x807.12+19.22+17.44 "$1" "$target"
	shift
done

