Guest User

Untitled

a guest
Sep 22nd, 2018
85
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.71 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. set -x
  4.  
  5. if [ ${#@} -ne 1 ]; then
  6. echo "Usage: $0 <BASENAME>"
  7. exit 1
  8. fi
  9.  
  10. BASENAME="$1"
  11.  
  12. cat <<EOF >$BASENAME.tex
  13. \documentclass{article}
  14. \usepackage{graphics}
  15. \usepackage{amsfonts}
  16. \usepackage{color}
  17. \input{../constants}
  18. \begin{document}
  19. \thispagestyle{empty}
  20. \begin{figure}
  21. \centering
  22. \input{${BASENAME}_fig.pdf_t}
  23. \end{figure}
  24. \end{document}
  25. EOF
  26.  
  27. fig2dev -L pdftex $BASENAME.fig ${BASENAME}_fig.pdf && \
  28. fig2dev -L pstex_t -p ${BASENAME}_fig.pdf $BASENAME.fig ${BASENAME}_fig.pdf_t && \
  29. pdflatex $BASENAME && \
  30. pdf2ps $BASENAME.pdf $BASENAME.eps
  31. RET=$?
  32.  
  33. rm -f \
  34. ${BASENAME}_fig.pdf \
  35. ${BASENAME}_fig.pdf_t \
  36. $BASENAME.aux \
  37. $BASENAME.pdf \
  38. $BASENAME.log \
  39. $BASENAME.tex
  40.  
  41. exit $RET
Add Comment
Please, Sign In to add comment