From 35bf3258d508ac60b09eda41b7447c169f4e0d66 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Fri, 9 Jul 2021 03:23:52 +0200
Subject: [PATCH] separate out the commands

---
 Jenkinsfile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e8ff3a6..e73518a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,10 +16,11 @@ pipeline {
         branch 'master' 
       }
       steps {
-        sh '''rm -rf ${env.DEST}/*
-              cp -r main/_site/. ${env.DEST}
-              cp -r actaddmanual ${env.DEST}
-              cp -r commissions ${env.DEST}'''
+        sh "rm -rf ${env.DEST}/*"
+        
+        sh "cp -r main/_site/. ${env.DEST}"
+        sh "cp -r actaddmanual ${env.DEST}"
+        sh "cp -r commissions ${env.DEST}"
       }
     }
   }