aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/tex2pdf2
1 files changed, 1 insertions, 1 deletions
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}