From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 21 May 2019 09:54:25 +0000 (+0200)
Subject: Install man pages in compressed form.
X-Git-Tag: v1.0.1~12
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;ds=sidebyside;h=54b9de32d887856379b9874335d4d59740eb111e;hp=54b9de32d887856379b9874335d4d59740eb111e;p=tfortune.git

Install man pages in compressed form.

This is generally a good idea since all versions of man(1) support
at least gzip-compressed manual pages.
---