When there is a way to gzip the files, there should also be a way to gunzip them later.
Hmm, that was stupid.
Remove compressed manpages as well.
Improvement by Mathias Jeschke, nowardays /usr/share/man is used for manpages
Correction by Mathias Jeschke
Updates nach Abgleich mit Daniel Kobras
Improved install target
Import of bare source