From d2b096528143247ca631c3525c814208a74f6032 Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Sat, 15 Nov 2025 20:37:43 +0100
Subject: [PATCH] Poging met een dockerfile

---
 Dockerfile  | 2 ++
 Jenkinsfile | 8 +-------
 2 files changed, 3 insertions(+), 7 deletions(-)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..67fbb50
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,2 @@
+FROM kjarosh/latex:2025.1
+RUN tlmgr install libertinus
diff --git a/Jenkinsfile b/Jenkinsfile
index 832e54f..e9853c9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,15 +2,9 @@ pipeline {
     agent any
     stages {
         stage('Build') {
-            agent {
-                docker {
-                    image 'kjarosh/latex:2025.1'
-                    reuseNode true
-                }
-            }
+            agent { dockerfile true }
             steps {
                 echo 'Starting build step...'
-                sh 'tlmgr install libertinus'
                 sh 'latexmk -pdf -outdir=out main_text.tex'
             }
         }