From 3260f90a730b10213fca77a84718c3dd82cf1f5b Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Fri, 12 Feb 2021 23:16:26 -0800 Subject: [PATCH] Changed default MANDIR to make it easier to install on macOS 11 --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 6740137..a40e6e6 100644 --- a/Makefile +++ b/Makefile @@ -88,6 +88,12 @@ endif #READLINE_INCLUDE= -I/usr/gnu/include #READLINE_INCLUDE= -I/usr/local/include +# Where man pages are installed +# +# Under macOS, we cannot modify /usr/share/man. +# +MANDIR= /usr/local/man/man1 + # Normally certain files depend on the Makefile. If the Makefile is # changed, then certain steps should be redone. If MAKE_FILE is # set to Makefile, then these files will depend on Makefile. If @@ -185,6 +191,7 @@ XVAR= \ CCWERR='${CCWERR}' \ NROFF='${NROFF}' \ COMMON_ADD='${COMMON_ADD}' \ + MANDIR='${MANDIR}' \ Q='${Q}' \ V='${V}'