diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/tex2pdf | 2 |
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} |