From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 3 Mar 2019 22:21:39 +0000 (+0100)
Subject: build: Honor the Filesystem Hierarchy Standard.
X-Git-Tag: v1.0.2^0
X-Git-Url: http://git.tuebingen.mpg.de/?p=lopsub.git;a=commitdiff_plain;h=0cfd2b26c29859490b67351266b90702f7aac0ff;hp=0cfd2b26c29859490b67351266b90702f7aac0ff

build: Honor the Filesystem Hierarchy Standard.

According to this standard, man pages should go to /usr/share/man
rather than to /usr/man.
---