actually copy the docs to the website when releasing

Jenkinsfile

@@ -13,6 +13,7 @@ pipeline {
       }
       steps {
         sh './build.sh -Target=Document'     
+        sh 'cp Docs/_site/** /var/www/MLEM/ -r'   
       }
     }
   }