Libertinus installeren met tlmgr
Some checks failed
gitea/real_analysis/pipeline/head There was a failure building this commit

This commit is contained in:
2025-11-15 20:32:03 +01:00
parent 40e3f57f5e
commit ad278c6e66

2
Jenkinsfile vendored
View File

@@ -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'
}
}