diff --git a/render-pdf.sh b/render-pdf.sh deleted file mode 100755 index 457fe6c..0000000 --- a/render-pdf.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh -cd `dirname "$0"` -NAME=`basename "$0" .sh` -pdflatex "$NAME.tex" && -(test -x "$NAME.nlo" && makeindex "$NAME.nlo" -s nomencl.ist -o "$NAME.nls" || true) && -pdflatex "$NAME.tex" && -pdflatex "$NAME.tex" -find . -name "$NAME*" ! \( -name '*tex' -or -name '*pdf' -or -name '*sh' \) -delete