diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 8cc1b7c7c2..cf7d6400a0 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -5,10 +5,16 @@ on: push: paths: - 'doc/**' + - '!doc/*ChangeLog*' + - '!doc/*ChangeSum*' + - '!doc/UpdateChangelog.pl' pull_request: paths: - 'doc/**' + - '!doc/*ChangeLog*' + - '!doc/*ChangeSum*' + - '!doc/UpdateChangelog.pl' workflow_dispatch: