Fix to deploy

This commit is contained in:
Griatch 2020-06-13 10:49:55 +02:00
parent 23569645a9
commit 14d87cf1fb

View file

@ -18,12 +18,12 @@ git checkout gh-pages
# remove all but the build dir
ls -Q | grep -v build | xargs rm -Rf
mv build/html/versions/* .
cp -Rf build/html/versions/* .
# docs/build is in .gitignore so will not be included
git add .
# TODO automate this?
ln -s 1.0-dev docs/latest
ln -s 1.0-dev latest
git add docs/*
git commit -a -m "Updated HTML docs"