diff --git a/Jenkinsfile b/Jenkinsfile
index 1b22e16..3016d3a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -28,7 +28,7 @@ pipeline {
             steps {
                 sh '''
                 cp -rv HTLLE-DA-Vorlage/example/. .
-                make pdf -C HTLLE-DA-Vorlage SOURCEDIR=$(pwd)
+                make pdf -C HTLLE-DA-Vorlage SOURCEDIR=$(pwd) PATH=$PATH
                 '''
             }
         }