minor update for cleaning script

This commit is contained in:
Phuntsok Drak-pa 2018-05-23 18:16:33 +02:00
parent 08e324e1c6
commit 334b6dd70f

View File

@ -6,17 +6,7 @@ else
project_root=$1
fi
rm -rf *~
rm -rf auto
rm -rf _minted*
rm -rf *.tex
rm -rf *.aux
rm -rf *.log
rm -rf *.toc
rm -rf *.out
rm -rf index.pdf
rm -rf headers.pdf
rm -rf headers.html
rm -rf *~ auto _minted* *.tex *.aux *.log *.toc *.out index.pdf headers.pdf headers.html
for filename in *; do
if [[ -d $filename ]]; then
cd $filename