fix of deploy

This commit is contained in:
Griatch 2020-06-13 00:19:14 +02:00
parent 1039e6e88f
commit 4cddeaa9a1

View file

@ -12,9 +12,9 @@ fi
git checkout gh-pages
rm -Rf versions
mv build/html/versions .
git add versions
rm -Rf docs/*
cp -Rf build/html/* docs/
git add docs/*
git commit -a -m "Updated HTML docs"
echo "Skipping deployment"