#!/bin/sh
# $RCSfile: ps2pdf,v $ $Revision: 1.1.2.1 $
# Convert PostScript to PDF.

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