From 960acff15a26608b5934cafa1679e463e05713d2 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 13 Jun 2020 12:35:06 +0200
Subject: [PATCH] Update doc-deploy file

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

diff --git a/docs/deploy.sh b/docs/deploy.sh
index 39f012c453..19d894812c 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -18,17 +18,14 @@ git checkout gh-pages
 # remove all but the build dir
 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 .
-
+cp -Rf build/html/* .
 # TODO automate this? 
 ln -s 1.0-dev latest
 
-git add docs/*
-git commit -a -m "Updated HTML docs"
+# docs/build is in .gitignore so will not be included
+git add .
 
-mv build docs/
+git commit -a -m "Updated HTML docs"
 
 echo "Skipping deployment"
 # git push origin gh-pages