Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Add make to the latexml image (details)
Commit 3dc313d630cfcdd9273c7e7846cbc25dc2c2626d by Martin Sjölund
Add make to the latexml image
The file was modified .CI/Jenkinsfile (diff)
The file was modified .CI/latexml-iterative/Dockerfile (diff)
The file was modified .CI/latexml/Dockerfile (diff)