diff options
-rwxr-xr-x | bin/tex2pdf | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/tex2pdf b/bin/tex2pdf index fd99224..71718f0 100755 --- a/bin/tex2pdf +++ b/bin/tex2pdf @@ -30,5 +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 $1.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc} -rm -f */*.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc} +rm -f *.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc} */*.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc} |