From ad278c6e66a3566cefd8ff570f7a3acfcf6ba03c Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Sat, 15 Nov 2025 20:32:03 +0100
Subject: [PATCH] Libertinus installeren met tlmgr

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3f63159..832e54f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
             }
             steps {
                 echo 'Starting build step...'
-                sh 'updmap-sys --enable Map=libertine.map'
+                sh 'tlmgr install libertinus'
                 sh 'latexmk -pdf -outdir=out main_text.tex'
             }
         }