CI: remove check_doxygen as we do this in Travis

see #9582

diff --git a/Jenkinsfile b/Jenkinsfile
index a80e46653724dab9f5a555ef09439ce90f053a67..be3cc00470ae3e3f1607e2d3d00f2c07ca512a1f 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -123,10 +123,6 @@ pipeline
             timeout(time: 6, unit: 'HOURS')
             {
               sh "echo \"building on node ${env.NODE_NAME}\""
-              sh '''#!/bin/bash
-                 cd $WORKSPACE/
-                 ./contrib/utilities/check_doxygen.sh
-              '''
               sh '''#!/bin/bash
                  set -e
                  export NP=`grep -c ^processor /proc/cpuinfo`