pdf_of_platex.sh