diff --git a/ci/doc_only_change.sh b/ci/doc_only_change.sh index e0741952a3d..da50eed047c 100755 --- a/ci/doc_only_change.sh +++ b/ci/doc_only_change.sh @@ -30,4 +30,4 @@ if ! git diff --no-commit-id --name-only "$merge_base" HEAD | grep -q -e ".*"; t exit 0 fi git diff --no-commit-id --name-only "$merge_base" HEAD | \ - grep -v -e "^docs/" -e "\.md$" -e "^.*LICENSE.*$" + grep -v -e "^docs/" -e "\.md$" -e "^mkdocs.yml$" -e "^README.*" -e "^.*LICENSE.*$"