#!/bin/sh
# $Id: ps2pdf,v 1.3 2002/02/21 21:49:28 giles Exp $
# Convert PostScript to PDF.
ps2pdfwr="`dirname $0`/ps2pdfwr"
if test ! -x "$ps2pdfwr"; then
	ps2pdfwr=ps2pdfwr
fi

# Currently, we produce PDF 1.2 by default, but this is not guaranteed
# not to change in the future.
exec "$ps2pdfwr" -dCompatibilityLevel=1.2 "$@"
