The PMS doesn't cover automatic decompression of man pages; plus, it doesn't even cover the possibility of them being passed compressed to doman/newman in the first place. The end result is that a call like: doman foo.1.gz may end up installing the file in /usr/share/man/mangz.