From cea787f46908f62412e82dc8478160b53e5f2ce3 Mon Sep 17 00:00:00 2001
From: Jannis Portmann <jannisp@student.ethz.ch>
Date: Thu, 2 Feb 2023 18:40:05 +0100
Subject: [PATCH] Fix copy command

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3af8ede..e74028c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,7 @@ node {
     }
     
     stage('Publish PDF') {
-        cp 'lsd-zf.pdf /mnt/latex-previews/lsd-zf.pdf'
+        sh 'cp lsd-zf.pdf /mnt/latex-previews/lsd-zf.pdf'
     }
 
     cleanWs notFailBuild: true