From 14d87cf1fb520d6be0c13fdf65505919450951f4 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 13 Jun 2020 10:49:55 +0200
Subject: [PATCH] Fix to deploy

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

diff --git a/docs/deploy.sh b/docs/deploy.sh
index d6432cb11..39f012c45 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -18,12 +18,12 @@ git checkout gh-pages
 # remove all but the build dir
 ls -Q | grep -v build | xargs rm -Rf
 
-mv build/html/versions/* .
+cp -Rf build/html/versions/* .
 # docs/build is in .gitignore so will not be included
 git add .
 
 # TODO automate this? 
-ln -s 1.0-dev docs/latest
+ln -s 1.0-dev latest
 
 git add docs/*
 git commit -a -m "Updated HTML docs"