#
df*)
if [ -x "$DVIPS" ]; then
cat > /tmp/psfilter.$$
TEMPFILE=`mktemp -t psfilter.XXXXXX` || exit 1
$DVIPS $DVIPSARGS < /tmp/psfilter.$$
cat > $TEMPFILE
rm -f /tmp/psfilter.$$
$DVIPS $DVIPSARGS < $TEMPFILE
rm -f $TEMPFILE
else
echo "$0: filter dvips uninstalled" 1>&2
exit 2