Merge: no_warning: modules without a module clause do not cause `missing-doc`
authorJean Privat <jean@pryen.org>
Mon, 5 Jan 2015 16:14:53 +0000 (11:14 -0500)
committerJean Privat <jean@pryen.org>
Mon, 5 Jan 2015 16:14:53 +0000 (11:14 -0500)
commitacca223c6d32cc53d2514e24528a5105c31536bb
treea6444e29476b04818ec23cd4cf8ef7c0c54dcb31
parentf36d0bd062f3b33382b478aa69876905bab41a4c
parent1042cace600f00a2391d948f3cfce38e5124ce47
Merge: no_warning: modules without a module clause do not cause `missing-doc`

Rationale: the presence of a `module` clause is a good heuristic to
discriminate quick and dirty prototypes from nice and clean modules

Pull-Request: #1078
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>