Make sure latest link is in github

This commit is contained in:
Griatch 2020-06-13 12:27:45 +02:00
parent 5095bec809
commit c2bb7b59fe

View file

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