#!/bin/csh -f

set fileroot = $1:r

dvips -R0 -o $fileroot.psforpdf -Ppdf -z $fileroot.dvi
rm head.tmp body.tmp

ps2pdf $fileroot.psforpdf $fileroot.pdf