From f2aa5dce275fdda7505826962e07d7769b5582f7 Mon Sep 17 00:00:00 2001 From: Alexandre Dupas Date: Tue, 24 Jan 2012 21:35:47 +0100 Subject: [PATCH] Correct a small mistake with the clean.sh call --- macos/cleanall.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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