#! /bin/sh

DESTDIR=${1:-/srv/http/woozle.org/derby}

for src in *.ps; do
	target=$DESTDIR/${src%.ps}.pdf
	if older $target $src; then
		echo "PDF $src"
		pstopdf $src $target
	fi
done