diff --git a/macos/cleanall.sh b/macos/cleanall.sh index 387262e3..ef3ca003 100755 --- a/macos/cleanall.sh +++ b/macos/cleanall.sh @@ -1,5 +1,5 @@ #!/bin/sh # echo "manually performs 'make cleanall'" -./clean +`dirname $0`/clean.sh rm -rf *.pdf