#! /usr/local/bin/tcsh -f
set file1 = ${1}
echo $file1

set file = $file1:r
latex $file
bibtex $file
latex $file
latex $file
#dvips $file -P pdf -G0 -t letter -o
pdflatex $file
echo done latex bibtex latex latex