From c6bd12a4128c6ca7d7349d2fb89204e2b5d3f482 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Fri, 9 Jul 2021 03:20:34 +0200
Subject: [PATCH] also copy the manual and commissions

---
 Jenkinsfile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ee1c5c1..e8ff3a6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,9 +16,14 @@ pipeline {
         branch 'master' 
       }
       steps {
-        sh '''rm -rf /var/www/ellpeck/*
-              cp -r main/_site/. /var/www/ellpeck'''
+        sh '''rm -rf ${env.DEST}/*
+              cp -r main/_site/. ${env.DEST}
+              cp -r actaddmanual ${env.DEST}
+              cp -r commissions ${env.DEST}'''
       }
     }
   }
+  environment {
+    DEST = "/var/www/ellpeck"
+  }
 }
\ No newline at end of file