From 5004a818d09a403e6f80857476339bbb78868cc7 Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 13 Jun 2020 00:40:36 +0200 Subject: [PATCH] Further tweak to deployment --- docs/deploy.sh | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/docs/deploy.sh b/docs/deploy.sh index 71057b3973..353c765ffd 100644 --- a/docs/deploy.sh +++ b/docs/deploy.sh @@ -10,21 +10,25 @@ if [ -n "$(git status --untracked-files=no --porcelain)" ]; then exit 1 fi +# get the deployment branch git checkout gh-pages 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 .. rm -Rf docs/* -cp -Rf build/html/* docs/ +cp -Rf build/html/versions/* docs/ git add docs/* rm -Rf build git commit -a -m "Updated HTML docs" + echo "Skipping deployment" # git push origin gh-pages -# get back to previous branch - - git checkout - +# get back to previous branch (go into docs/ so we end up where we started) +cd docs +git checkout - echo "Deployed to https://evennia.github.io/evennia-docs."