From 4cddeaa9a1c76f640e281ed9143dc6e4eabd4e7f Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 13 Jun 2020 00:19:14 +0200
Subject: [PATCH] fix of deploy

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

diff --git a/docs/deploy.sh b/docs/deploy.sh
index cea9c56a2c..ed732928a3 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -12,9 +12,9 @@ fi
 
 git checkout gh-pages
 
-rm -Rf versions
-mv build/html/versions .
-git add versions
+rm -Rf docs/*
+cp -Rf build/html/* docs/
+git add docs/*
 
 git commit -a -m "Updated HTML docs"
 echo "Skipping deployment"