diff options
Diffstat (limited to 'debian/lintian-overrides')
| -rw-r--r-- | debian/lintian-overrides | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/lintian-overrides b/debian/lintian-overrides new file mode 100644 index 0000000..4966982 --- /dev/null +++ b/debian/lintian-overrides @@ -0,0 +1,6 @@ +# Those executables aren't really meant for direct user usage +# https://github.com/ocaml/merlin/issues/1641 +ocaml-merlin: no-manual-page [usr/bin/dot-merlin-reader] +ocaml-merlin: no-manual-page [usr/bin/ocamlmerlin-server] +ocaml-merlin: no-manual-page [usr/bin/ocamlmerlin] + |