# 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