Update doc-deploy file

This commit is contained in:
Griatch 2020-06-13 12:35:06 +02:00
parent 2230900c55
commit 960acff15a

View file

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