From 1e760da62ad9ea048a6cb020c05f49e469e3392d Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 13 Jun 2020 10:52:40 +0200 Subject: [PATCH] Alternative deploy --- docs/deploy.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/deploy.sh b/docs/deploy.sh index 39f012c453..7a424fe0c6 100644 --- a/docs/deploy.sh +++ b/docs/deploy.sh @@ -21,15 +21,13 @@ ls -Q | grep -v build | xargs rm -Rf cp -Rf build/html/versions/* . # docs/build is in .gitignore so will not be included git add . +git st # TODO automate this? ln -s 1.0-dev latest -git add docs/* git commit -a -m "Updated HTML docs" -mv build docs/ - echo "Skipping deployment" # git push origin gh-pages