#!/bin/sh
PATH=/usr/local/bin:$PATH
export PATH

/bin/cat - > /tmp/dvi2ps$$.tmp
/usr/local/bin/dvips -q  /tmp/dvi2ps$$.tmp -o /tmp/ps$$.tmp >/dev/null
/bin/cat /tmp/ps$$.tmp
/bin/rm -f /tmp/dvi2ps$$.tmp /tmp/ps$$.tmp

