Annikka/evennia
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Further tweak to deployment

Browse source
This commit is contained in:
Griatch 2020-06-13 00:40:36 +02:00
parent 2d1d3b2472
commit 5004a818d0
1 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

12
docs/deploy.sh
View file

@ -10,21 +10,25 @@ if [ -n "$(git status --untracked-files=no --porcelain)" ]; then
exit 1 exit 1
fi fi
# get the deployment branch
git checkout gh-pages git checkout gh-pages
mv build .. mv build ..
# the docs/ folder is named the same in both branches so we need to step out of
# it to not confuse what's what.
cd .. cd ..
rm -Rf docs/* rm -Rf docs/*
cp -Rf build/html/* docs/ cp -Rf build/html/versions/* docs/
git add docs/* git add docs/*
rm -Rf build rm -Rf build
git commit -a -m "Updated HTML docs" git commit -a -m "Updated HTML docs"
echo "Skipping deployment" echo "Skipping deployment"
# git push origin gh-pages # git push origin gh-pages
# get back to previous branch # get back to previous branch (go into docs/ so we end up where we started)
cd docs
git checkout - git checkout -
echo "Deployed to https://evennia.github.io/evennia-docs." echo "Deployed to https://evennia.github.io/evennia-docs."