Merge: frontend: `missing-doc` advice is conditioned to the presence of doc on the...
authorJean Privat <jean@pryen.org>
Tue, 10 Nov 2015 16:25:41 +0000 (11:25 -0500)
committerJean Privat <jean@pryen.org>
Tue, 10 Nov 2015 16:25:41 +0000 (11:25 -0500)
commitf25162747a9f3c0ee0e02afc8bbc94f24b48a1f5
tree5b8b866994797bab4aa156521506703d95d7008e
parent3e0ee8c3fe573a58435a61da09f8e9bb30443d66
parent1597dfb8df13faae84ce5d268515b5e898e680ed
Merge: frontend: `missing-doc` advice is conditioned to the presence of doc on the module

The `missing-doc` advice is now conditioned to the presence of a doc on the module.

The rationale is that if the module is documented, then the programmer does care and we show places where the documentation is missing, else the programmer does not care then we do not talk about documentation in order to not alienate him.

Pull-Request: #1826
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>