From c2bb7b59feb836bccf09b3be3131ef5e89a28c36 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 13 Jun 2020 12:27:45 +0200
Subject: [PATCH] Make sure `latest` link is in github

---
 docs/deploy.sh | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/docs/deploy.sh b/docs/deploy.sh
index 5f4b16edf5..19d894812c 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -19,13 +19,12 @@ git checkout gh-pages
 ls -Q | grep -v build | xargs rm -Rf
 
 cp -Rf build/html/* .
-# docs/build is in .gitignore so will not be included
-git add .
-git st
-
 # TODO automate this? 
 ln -s 1.0-dev latest
 
+# docs/build is in .gitignore so will not be included
+git add .
+
 git commit -a -m "Updated HTML docs"
 
 echo "Skipping deployment"