diff options
| author | Takenobu Tani <takenobu.hs@gmail.com> | 2020-08-25 18:19:55 +0900 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-08-26 04:50:21 -0400 |
| commit | 2d635a50b81732b2512b68c652aee36f489b5969 (patch) | |
| tree | e50dcb9f392eed0d1309032f6722b2b9d9abebb5 /.gitlab | |
| parent | 8426a1364ba450fe48fc41a95b2ba76c8d1bb7c8 (diff) | |
| download | haskell-2d635a50b81732b2512b68c652aee36f489b5969.tar.gz | |
linters: Make CPP linter skip image files
This patch adds an exclusion rule for `docs/users_guide/images`,
to avoid lint errors of PDF files.
Diffstat (limited to '.gitlab')
| -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') |