diff --git a/Jenkinsfile b/Jenkinsfile
index 09b1130fbf1643b6d6cce4ccabd9e7604600a112..58c8a89a9533ee2b4a4ca544166ef57671adaafd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,7 @@ pipeline {
       agent any
       steps {
         sh "git config core.whitespace -blank-at-eof"
-        sh "git diff --check `git merge-base origin/master HEAD` HEAD"
+        sh "git diff --check `git merge-base origin/master HEAD` HEAD -- . ':!*.md' ':!*.pandoc'"
       }
     }
     stage('Build') {