From 62131761592358d550aca57eff844e6fc97e8414 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Sj=C3=B6lund?= Date: Wed, 15 Apr 2020 15:35:10 +0200 Subject: [PATCH] WIP --- .CI/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile index 97b5ed1e6..377e21926 100644 --- a/.CI/Jenkinsfile +++ b/.CI/Jenkinsfile @@ -29,7 +29,7 @@ pipeline { steps { sh 'mkdir -p /tmp/jenkins' sh 'latexmk -pdf MLS.tex' - sh 'latexml MLS.tex --dest MLS.xml' + sh 'latexml --path=media MLS.tex --dest MLS.xml' sh 'latexmlpost MLS.xml -format html -pmml --splitat=chapter --javascript=css/LatexML-maybeMathJax.js --navigationtoc=context --css=css/LaTeXML-navbar-left.css --dest MLS.html' sh 'tar czf MLS.tar.gz *.html *.css media css/' archiveArtifacts artifacts: 'MLS.tar.gz', fingerprint: true