diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-29 23:24:58 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-08 03:00:57 -0400 |
commit | 330e6e9c7a88d2be6d3f78eff44a9a6fcf9733a2 (patch) | |
tree | 149dc88608b6b771e79673d3f115d075f8763baf /.gitlab | |
parent | dcc1599f74d8115b3bd1bd87648866d89070a7e9 (diff) | |
download | haskell-330e6e9c7a88d2be6d3f78eff44a9a6fcf9733a2.tar.gz |
Documentation: use https links
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/linters/check-cpp.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/linters/check-cpp.py b/.gitlab/linters/check-cpp.py index 4483c0504f..f904d81f8b 100755 --- a/.gitlab/linters/check-cpp.py +++ b/.gitlab/linters/check-cpp.py @@ -24,6 +24,7 @@ linters = [ for l in linters: # Need do document rules! l.add_path_filter(lambda path: path != Path('docs', 'coding-style.html')) + l.add_path_filter(lambda path: path != Path('docs', 'users_guide', 'utils.rst')) # Don't lint vendored code l.add_path_filter(lambda path: not path.name == 'config.guess') # Don't lint font files |