Alternative deploy

This commit is contained in:
Griatch 2020-06-13 10:52:40 +02:00
parent 14d87cf1fb
commit 1e760da62a

View file

@ -21,15 +21,13 @@ ls -Q | grep -v build | xargs rm -Rf
cp -Rf build/html/versions/* .
# docs/build is in .gitignore so will not be included
git add .
git st
# TODO automate this?
ln -s 1.0-dev latest
git add docs/*
git commit -a -m "Updated HTML docs"
mv build docs/
echo "Skipping deployment"
# git push origin gh-pages