diff options
Diffstat (limited to 'clean.sh')
-rwxr-xr-x | clean.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clean.sh b/clean.sh new file mode 100755 index 0000000..718a5a7 --- /dev/null +++ b/clean.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +find build/ -depth -mindepth 1 -delete -print + +find -depth \( \( -name "*.aux" -o -name "*.snm" -o -name "*.out" -o -name "*.toc" -o -name "*.nav" -o -name "*.log" -o -name "*.backup" -o -name "*.bbl" -o -name "*.blg" -o -name "*~" \) -a \! \( -wholename "*.git/*" -o -wholename "*.svn" \) \) -delete -print |