#!/bin/sh
if [ $# -eq 0 ]; then
project_root=`pwd`
else
project_root=$1
fi
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
sh $project_root/clean.sh $project_root
cd ..
done