ci: ignore man/vim paths in build-extra/codeql workflows

Ignore the following paths:

- 'contrib/vim/**'
- 'src/man/*.txt'

To avoid running CI unnecessarily.

Note: build-extra essentially only builds with clang and runs linters on
the C code, so changes to the man pages and vim files should not affect
the result.

Do not ignore them on .github/workflows/build.yml because they are part
of DISTFILES (see the root Makefile).

Misc: I noticed this on netblue30#5296 (man pages).

.github/workflows/build-extra.yml

@@ -6,6 +6,8 @@ on:
     paths-ignore:
       - '.github/ISSUE_TEMPLATE/*'
       - 'etc/**'
+      - 'contrib/vim/**'
+      - 'src/man/*.txt'
       - .git-blame-ignore-revs
       - .github/dependabot.yml
       - .github/pull_request_template.md
@@ -24,6 +26,8 @@ on:
     paths-ignore:
       - '.github/ISSUE_TEMPLATE/*'
       - 'etc/**'
+      - 'contrib/vim/**'
+      - 'src/man/*.txt'
       - .git-blame-ignore-revs
       - .github/dependabot.yml
       - .github/pull_request_template.md

.github/workflows/codeql-analysis.yml

@@ -11,6 +11,8 @@ on:
     paths-ignore:
       - '.github/ISSUE_TEMPLATE/*'
       - 'etc/**'
+      - 'contrib/vim/**'
+      - 'src/man/*.txt'
       - .git-blame-ignore-revs
       - .github/dependabot.yml
       - .github/pull_request_template.md
@@ -29,6 +31,8 @@ on:
     paths-ignore:
       - '.github/ISSUE_TEMPLATE/*'
       - 'etc/**'
+      - 'contrib/vim/**'
+      - 'src/man/*.txt'
       - .git-blame-ignore-revs
       - .github/dependabot.yml
       - .github/pull_request_template.md