Tag: wrong-name-for-manual-page
Severity: error
Check: documentation/manual
Renamed-From: manpage-has-wrong-extension
Explanation: The manual page has an extension other than
 "*section*[*program*].gz".
See-Also: debian-policy 12.1