Bug#916497: package-contains-documentation-outside-usr-share-doc should ignore /usr/share/help

[Jeremy Bicha <jbicha@debian.org>]

Source: lintian
Version: 2.5.116

Please have the package-contains-documentation-outside-usr-share-doc
check ignore /usr/share/help/ .

https://lintian.debian.org/full/pkg-gnome-maintainers@lists.alioth.debian.org.html#deja-dup
and some other GNOME packages are getting this tag emited for
contribute pages.

Many GNOME projects install user help to /usr/share/help/ (It was
intended to be cross-desktop but KDE ended up not implementing it
yet.) Since it is a widely used documentation directory, emitting this
tag is wrong here.

Thanks,
Jeremy Bicha