From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 3 Mar 2019 20:58:45 +0000 (+0100)
Subject: build: Compress man pages.
X-Git-Tag: v1.0.2~1
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;ds=sidebyside;h=f35b70fc3e8656f71437cc85062da31488acd781;hp=f35b70fc3e8656f71437cc85062da31488acd781;p=lopsub.git

build: Compress man pages.

Man pages should always be installed in compressed form, so run gzip
on all four man pages. We always specify -f so that gzip won't ask
questions, and use the highest compression level because the pages
are compressed only once and decompressed every time the man page
is opened.
---