#!/bin/sh TMPFILE=`mktemp /tmp/dvi2ps.XXXXXXXXXX` || exit 69 cat "${@:--}" >$TMPFILE dvips -f <$TMPFILE rm $TMPFILE