1 files changed, 33 insertions, 0 deletions
diff --git a/bin/tex2pdf b/bin/tex2pdf
new file mode 100755
index 0000000..71718f0
--- /dev/null
+++ b/bin/tex2pdf
@@ -0,0 +1,33 @@
+#!/bin/bash
+logdestination="$HOME/.log/tex2pdf.log"
+already_open=$(ps aux | grep "$1.pdf" | grep -v "grep")
+rm -rf $logdestination
+touch $logdestination
+echo "tex2pdf called with $1.tex">>$logdestination
+echo "#####################################################">>$logdestination
+echo "################## pdflatex, run #1 #################">>$logdestination
+echo "#####################################################">>$logdestination
+pdflatex -interaction=nonstopmode $1.tex>>$logdestination
+echo "bibtex:">>$logdestination
+bibtex $1.aux>>$logdestination
+echo "#####################################################">>$logdestination
+echo "################## pdflatex, run #2 #################">>$logdestination
+echo "#####################################################">>$logdestination
+pdflatex -interaction=nonstopmode $1.tex>>$logdestination
+echo "####### ##############################################">>$logdestination
+echo "################## pdflatex, run #3 #################">>$logdestination
+echo "#####################################################">>$logdestination
+pdflatex -interaction=nonstopmode $1.tex>>$logdestination
+echo "#####################################################">>$logdestination
+echo "Launching mupdf with $1.pdf.">>$logdestination
+
+if [ -n "$already_open" ]; then
+  kill "$(echo $already_open | awk '{print $2}')"
+  echo "Killing pid $(echo $already_open | awk '{print $2}'), which has $1.pdf open already." >>$logdestination
+fi
+mupdf $1.pdf &
+
+echo "#####################################################">>$logdestination
+echo "Removing aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc.">>$logdestination
+echo "Current directory: $(pwd) and children of depth 1.">>$logdestination
+rm -f *.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc} */*.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc}