From f07725afa7346b47355ef9b7be28f6934a007f4e Mon Sep 17 00:00:00 2001
From: David Runge <dave@sleepmap.de>
Date: Wed, 16 Nov 2016 00:09:47 +0100
Subject: bin/tex2pdf: Adding further files to automatic deletion.

---
 bin/tex2pdf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/tex2pdf b/bin/tex2pdf
index 71718f0..a7c367e 100755
--- a/bin/tex2pdf
+++ b/bin/tex2pdf
@@ -30,4 +30,4 @@ 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}
+rm -f *.{aux,bbl,bcf,blg,dvi,lof,log,lot,nav,out,run.xml,snm,toc,vrb} */*.{aux,bbl,bcf,blg,dvi,lof,log,lot,nav,out,run.xml,snm,toc,vrb}
-- 
cgit v1.2.3-54-g00ecf