This repository has been archived on 2023-02-26. You can view files and clone it, but cannot push or open issues or pull requests.
2018-05-16 01:22:47 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
if [ $# -eq 0 ]; then
|
|
|
|
project_root=`pwd`
|
|
|
|
else
|
|
|
|
project_root=$1
|
|
|
|
fi
|
|
|
|
|
2018-06-06 15:23:30 +00:00
|
|
|
rm -rf *~ auto _minted* *.tex *.aux *.log *.toc *.out index.pdf headers.pdf headers.html lijokken.pdf hjalpi.pdf old-hjapi.pdf zohaen.pdf
|
2018-05-16 01:22:47 +00:00
|
|
|
for filename in *; do
|
|
|
|
if [[ -d $filename ]]; then
|
|
|
|
cd $filename
|
|
|
|
sh $project_root/clean.sh $project_root
|
|
|
|
cd ..
|
|
|
|
fi
|
|
|
|
done
|