From 2d1d3b2472ec1d0439d03c1a7e8022efb5f6f710 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 13 Jun 2020 00:34:37 +0200
Subject: [PATCH] Tweak deploy process

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

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