From 325a667bc5aa437cc072484b399654519967a7ec Mon Sep 17 00:00:00 2001
From: Thibaut HOREL <horel@cypres.rocq.inria.fr>
Date: Mon, 10 Dec 2012 12:53:01 +0100
Subject: Fix small bug in previous commit

---
 deploy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'deploy')

diff --git a/deploy b/deploy
index 0c147af..db1c335 100755
--- a/deploy
+++ b/deploy
@@ -5,7 +5,7 @@ IFS=$'\n'
 
 cd $(dirname $0)
 find -type d ! \( -path "*.git" -prune \) -print0 | xargs -0 -I '{}' mkdir -p $DEPLOY_DIR{}
-for file in $(find ! \( -path "*.git" -prune \) -type f ! -path "./deploy.sh" ! -path "./README")
+for file in $(find ! \( -path "*.git" -prune \) -type f ! -path "./deploy" ! -path "./README")
 do
     ln -snf $PWD/$file $DEPLOY_DIR$(dirname $file) 
 done
-- 
cgit v1.2.3-70-g09d2