pipeline {
    agent any

    stages {
        stage('Documentation') {
            steps {
                sh 'make docs'
            }
        }
        stage('Deploy') {
            steps {
                archiveArtifacts artifacts: 'build/*.pdf', fingerprint: true
                archiveArtifacts artifacts: 'build/*.html', fingerprint: true
            }
        }
    }
}