Stephen Finucane 6b37a6b2a2 Allow explicitly specifying modules in the coverage builder (#11592) ... Currently there is no mechanism to identify totally undocumented modules in the coverage builder, unlike with partially documented modules. Resolve this by introducing a new ``coverage_modules`` config option. This is a list of modules that should be documented somewhere within the documentation tree. Any modules that are specified in the configuration value but are not documented anywhere will result in a warning. Likewise, any modules that are not in the config option but are documented somewhere will result in a warning. Signed-off-by: Stephen Finucane <stephen@that.guru>		2024-07-11 07:36:36 +01:00
..
__init__.py	Allow explicitly specifying modules in the coverage builder (#11592)	2024-07-11 07:36:36 +01:00
coverage_ignored.py	Allow explicitly specifying modules in the coverage builder (#11592)	2024-07-11 07:36:36 +01:00
coverage_missing.py	Allow explicitly specifying modules in the coverage builder (#11592)	2024-07-11 07:36:36 +01:00
coverage_not_ignored.py	Allow explicitly specifying modules in the coverage builder (#11592)	2024-07-11 07:36:36 +01:00