Advertisement
Guest User

Untitled

a guest
Mar 27th, 2017
50
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.45 KB | None | 0 0
  1. #!/bin/bash
  2. DIR=$(dirname "$1")
  3. FILENAME=$(basename "$1")
  4. EXTENSION="${FILENAME##*.}"
  5. FILENAME="${FILENAME%.*}"
  6.  
  7. if [ $EXTENSION != "tex" ]; then
  8. echo "File is not a .tex file."
  9. exit 0
  10. fi
  11.  
  12. cd $DIR
  13.  
  14. find . -type f -not -name '*.tex' -not -name '*.sh' | xargs rm --
  15.  
  16. pdflatex $FILENAME".tex"
  17. bibtex $FILENAME".aux"
  18. makeglossaries $FILENAME
  19. makeindex $FILENAME".nlo" -s nomencl.ist -o $FILENAME".nls"
  20. pdflatex $FILENAME".tex"
  21. pdflatex $FILENAME".tex"
  22. exit 1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement