Skip to content

Changes

Summary

  1. use make again to build the pdf and html (details)
Commit 42a0e52ae1b04995498260c953d93dddae24b03a by adrian.pop
use make again to build the pdf and html
The file was modified .CI/Jenkinsfile (diff)