# pv - preview a specified page of a dvi file in a Ghostscript window
# pv converts the given page to PostScript and displays it
# in a Ghostscript window.
echo usage
: $0 'page_number file_name[.dvi]'
trap "rm -rf $TEMPDIR/$FILE.$$.pv" 0 1 2 15
dvips
-D$RESOLUTION -p $PAGE -n 1 $FILE $
* -o $FILE.$$.pv