diff --git a/Jenkinsfile b/Jenkinsfile index 5588f1b..7921f0c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,6 +4,9 @@ pipeline { } stages { stage("Build document") { + when { + branch "master" + } steps { sh("doxygen") sh("rm -rf /var/www/milsko-doxygen")