diff --git a/clean.sh b/clean.sh index 7631621..9370c31 100755 --- a/clean.sh +++ b/clean.sh @@ -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