From 64d34fbefa52b49f26145596909026a16db23927 Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 13 Jun 2020 00:55:47 +0200 Subject: [PATCH] Another deploy tweak --- docs/deploy.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/deploy.sh b/docs/deploy.sh index 353c765ffd..195472dcce 100644 --- a/docs/deploy.sh +++ b/docs/deploy.sh @@ -19,16 +19,16 @@ mv build .. cd .. rm -Rf docs/* cp -Rf build/html/versions/* docs/ +ln -s docs/v1.0-dev latest git add docs/* -rm -Rf build - git commit -a -m "Updated HTML docs" +mv build docs/ + echo "Skipping deployment" # git push origin gh-pages -# get back to previous branch (go into docs/ so we end up where we started) -cd docs +# get back to previous branch git checkout - echo "Deployed to https://evennia.github.io/evennia-docs."