pipeline {
        agent {
              dockerfile { filename 'Jenkinsfiles/ubuntu-18.04.dockerfile' }
        }
        stages {
                stage('Build') {
                    steps {
                        sh 'make -C Documentation html SPHINXOPTS="-W -n"'
                    }
                }
        }
}
