From 8d27209e1872046eb1eba24a7ff85488f6c28ed4 Mon Sep 17 00:00:00 2001 From: "C. McEnroe" Date: Sun, 2 May 2021 20:35:48 -0400 Subject: Clean up Makefiles, configure scripts Default MANDIR to ${PREFIX}/man since it turns out man-db includes /usr/local/man by default. Add support for BINDIR. Separate libs out into LDADD variables. --- README.7 | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'README.7') diff --git a/README.7 b/README.7 index 821a763..13fcd98 100644 --- a/README.7 +++ b/README.7 @@ -1,4 +1,4 @@ -.Dd April 30, 2021 +.Dd May 2, 2021 .Dt README 7 .Os "Causal Agency" . @@ -71,9 +71,6 @@ and .Xr unveil 2 . Linux and macOS are also supported. -On BSD systems, -configure with -.Fl \-mandir=/usr/local/man . .Bd -literal -offset indent \&./configure make all -- cgit 1.4.1