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

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