#! /bin/sh
exec ps2pdf "$1" - 2> /dev/null