info-document-has-wrong-extension

All reports of info-document-has-wrong-extension for the archive. The extended description of this tag is:

The info document has an extension other than info*.gz.

Severity: normal, Certainty: certain

Check: infofiles, Type: binary

This tag has not been emitted in any package tested by Lintian.