diff options
-rwxr-xr-x | .gitlab/linters/check-cpp.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/linters/check-cpp.py b/.gitlab/linters/check-cpp.py index 1b4b26a760..4483c0504f 100755 --- a/.gitlab/linters/check-cpp.py +++ b/.gitlab/linters/check-cpp.py @@ -29,6 +29,9 @@ for l in linters: # Don't lint font files l.add_path_filter(lambda path: not path.parent == Path('docs','users_guide', 'rtd-theme', 'static', 'fonts')) + # Don't lint image files + l.add_path_filter(lambda path: not path.parent == Path('docs','users_guide', + 'images')) # Don't lint core spec l.add_path_filter(lambda path: not path.name == 'core-spec.pdf') |