diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 3207f2a52c..f44339c8c1 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -69,7 +69,7 @@ def check_docs(){
         file_no_doc_changed = sh (
             script: '''
                 cd ${WKC}
-                git --no-pager diff --name-only FETCH_HEAD `git merge-base FETCH_HEAD ${CHANGE_TARGET}`|grep -v "^docs/en/"|grep -v "^docs/zh/"|grep -v "*.md" || :
+                git --no-pager diff --name-only FETCH_HEAD `git merge-base FETCH_HEAD ${CHANGE_TARGET}`|grep -v "^docs/en/"|grep -v "^docs/zh/"|grep -v ".md$" || :
             ''',
             returnStdout: true
         ).trim()