info-document-has-wrong-extension
The info document has an extension other than info*.gz.
| Severity: | warning |
| Experimental: | false |
See also
- list of all the affected packages
- the source of this tag