From b99fd7ce26d39f800e236979fe795711ae728c43 Mon Sep 17 00:00:00 2001 From: Donald Buczek Date: Wed, 15 Sep 2021 14:33:50 +0200 Subject: [PATCH] install: Install manpages into /usr/share/man Currently we install manpages into /usr/man but they end up in /usr/share/man anyway, because of the /usr/man -> /usr/share/man symlink. The problem is, that the bee index is wrong and, for example, `bee query` doesn't identify the source of the files in /usr/share/man. According to FHS [1], /usr/share/man is the correct destination. Fix install script to use /usr/share/man instead of /usr/man. [1] https://refspecs.linuxfoundation.org/FHS_3.0/fhs-3.0.html --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 385614b..b1acd2a 100755 --- a/install.sh +++ b/install.sh @@ -21,7 +21,7 @@ fi : ${usr_exec_prefix:=$usr_prefix} : ${usr_bindir:=$usr_exec_prefix/bin} : ${usr_sbindir:=$usr_exec_prefix/sbin} -: ${usr_mandir:=$usr_exec_prefix/man} +: ${usr_mandir:=$usr_exec_prefix/share/man} : ${usrlocal_exec_prefix:=$usrlocal_prefix} : ${usrlocal_bindir:=$usrlocal_exec_prefix/bin}