Many systems with mandoc don't have /usr{/local,}/man in the default
MANPATH.
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index b285e8c..81a2817 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
PREFIX ?= /usr/local
BINDIR ?= ${PREFIX}/bin
-MANDIR ?= ${PREFIX}/man
+MANDIR ?= ${PREFIX}/share/man
CEXTS = gnu-case-range gnu-conditional-omitted-operand
CFLAGS += -std=c11 -Wall -Wextra -Wpedantic ${CEXTS:%=-Wno-%}
--
2.31.1
> On May 30, 2021, at 18:39, Michal Vasilek <michal@vasilek.cz> wrote:
>
> Many systems with mandoc don't have /usr{/local,}/man in the default
> MANPATH.
The default configuration of mandoc includes /usr/local/man, as
does man-db. MANDIR=${PREFIX}/man is the correct default on the
platforms this software is developed on. Others should set MANDIR
as needed.
On 5/30/21 7:17 PM, june wrote:
>> On May 30, 2021, at 18:39, Michal Vasilek <michal@vasilek.cz> wrote:
>>
>> Many systems with mandoc don't have /usr{/local,}/man in the default
>> MANPATH.
>
> The default configuration of mandoc includes /usr/local/man, as
> does man-db. MANDIR=${PREFIX}/man is the correct default on the
> platforms this software is developed on. Others should set MANDIR
> as needed.
>
I can corroborate that on my Arch Linux man-db system, /usr/local/man is
where man files are. /usr/share/local/man is symlinked to "../man".
--
Sebastian LaVine | https://smlavine.com