# Put this file (call it PStoPDF) in the relevant directory and give it relevant
# executable permission:
#             chmod a+x PStoPDF  
#  Put TR-year-number.ps  the relevant scl directory
#  To run this script:
#     ./PStoPDF TR-year-number 
#      (eg ./PStoPDF TR-01-99)
#  this script then produces TR-year-number.pdf TR-year-number.pdf.gz TR-year-number.ps.gz  

echo "Converting"
ps2pdf $1.ps 
echo "Copying"
cp $1.ps temp.ps
echo "gzipping"
gzip temp.ps
echo "moving, copying"
mv temp.ps.gz $1.ps.gz
cp $1.pdf temp.pdf
echo "gzipping"
gzip temp.pdf
mv temp.pdf.gz  $1.pdf.gz