#!/bin/sh

if [ $# -eq 0 ]; then
    project_root=`pwd`
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
for filename in *; do
    if [[ -d $filename ]]; then
        cd $filename
        sh $project_root/clean.sh $project_root
        cd ..
    fi
done