Docs-18.04 319 B

123456789101112
  1. pipeline {
  2. agent {
  3. dockerfile { filename 'Jenkinsfiles/ubuntu-18.04.dockerfile' }
  4. }
  5. stages {
  6. stage('Build') {
  7. steps {
  8. sh 'make -C Documentation html SPHINXOPTS="-W -n"'
  9. }
  10. }
  11. }
  12. }