From be7f2aacce6d2e9e6a4a6a9e04b99ad0e660d703 Mon Sep 17 00:00:00 2001
From: Lysandre <lysandre.debut@reseau.eseo.fr>
Date: Thu, 14 Nov 2019 14:54:44 -0500
Subject: [PATCH] [CI][DOC] Don't rebuild if folder exists - Correct directory.

---
 .circleci/deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh
index 7eea0d01133..98151963d81 100755
--- a/.circleci/deploy.sh
+++ b/.circleci/deploy.sh
@@ -5,7 +5,7 @@ function deploy_doc(){
 	git checkout $1
 	if [ ! -z "$2" ] 
 	then
-		if [ -d "$DIRECTORY" ]; then
+		if [ -d "$dir/$2" ]; then
 			echo "Directory" $2 "already exists"
 		else
 			echo "Pushing version" $2