From 508d3cf077faaa0bfdcef419660d2774e2f622c8 Mon Sep 17 00:00:00 2001
From: Ellpeck <megamaximal@gmail.com>
Date: Thu, 21 May 2020 23:07:43 +0200
Subject: [PATCH] actually copy the docs to the website when releasing

---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3cbdf8f..3f1e7c0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,8 @@ pipeline {
         branch 'release' 
       }
       steps {
-        sh './build.sh -Target=Document'        
+        sh './build.sh -Target=Document'     
+        sh 'cp Docs/_site/** /var/www/MLEM/ -r'   
       }
     }
   }