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

This commit is contained in:
Lysandre 2019-11-14 14:48:21 -05:00
parent d7929899da
commit 8f8d69716a

View File

@ -5,8 +5,12 @@ function deploy_doc(){
git checkout $1
if [ ! -z "$2" ]
then
echo "Pushing version" $2
make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html $doc:$dir/$2
if [ -d "$DIRECTORY" ]; then
echo "Directory" $2 "already exists"
else
echo "Pushing version" $2
make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html $doc:$dir/$2
fi
else
echo "Pushing master"
make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir