diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 0ca51b0366cd66584ed37763070a907558217761..58d10c53183248d79a159f8ad1735d5b1643b7b5 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -174,7 +174,6 @@ pipeline {
         stage ('build docs') {
             when {
                 allOf {
-                    changeRequest()
                     { expression { env.CHANGE_BRANCH =~ /docs\// }}
                 }
             }
@@ -195,7 +194,6 @@ pipeline {
             options { skipDefaultCheckout() }
             when {
                 allOf {
-                    changeRequest()
                     not { expression { env.CHANGE_BRANCH =~ /docs\// }}
                 }
             }
@@ -247,7 +245,6 @@ pipeline {
             options { skipDefaultCheckout() }
             when {
                 allOf {
-                    changeRequest()
                     not { expression { env.CHANGE_BRANCH =~ /docs\// }}
                 }
             }