Guest User

Untitled

a guest
Dec 12th, 2018
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.29 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3.  
  4. while [ $# -gt 0 ]; do
  5. texfile=$1
  6. name=$(basename $texfile .tex)
  7. for i in $(seq 1 3); do
  8. pdflatex -interaction batchmode $texfile
  9. if ! [ $? -eq 0 ]; then
  10. echo "Build failed. See $name.log"
  11. exit 1
  12. fi
  13. done
  14. rm $name.aux $name.log $name.toc
  15. shift
  16. done
Add Comment
Please, Sign In to add comment