Fix first test (#5255)

This commit is contained in:
Sylvain Gugger 2020-06-24 15:16:04 -04:00 committed by GitHub
parent 70c1e1d2d5
commit 0148c262e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,7 +5,7 @@ function deploy_doc(){
git checkout $1
if [ ! -z "$2" ]
then
if [ "$2" != "master" ]; then
if [ "$2" == "master" ]; then
echo "Pushing master"
make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir/$2/
cp -r _build/html/_static .