Testname: manpage-not-compressed-with-gzip
Check: documentation/manual