[CI][DOC] Don't rebuild if folder exists - Correct directory.

This commit is contained in:
Lysandre 2019-11-14 14:54:44 -05:00
parent 8f8d69716a
commit be7f2aacce
1 changed files with 1 additions and 1 deletions

View File

@ -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