From fd936a428cf8022c54d31e1c593a86d254836c99 Mon Sep 17 00:00:00 2001
From: "C. McEnroe" <june@causal.agency>
Date: Sun, 2 May 2021 19:51:54 -0400
Subject: Default to MANDIR=${PREFIX}/man, support BINDIR

I originally avoided defaulting MANDIR to /usr/local/man because I
thought that might not work on GNU/Linux, but I checked and it turns
out man-db not only defaults to including /usr/local/man (if
/usr/local/bin is in PATH), it also includes /usr/man. So more
reason to default to ${PREFIX}/man.
---
 configure | 1 +
 1 file changed, 1 insertion(+)

(limited to 'configure')

diff --git a/configure b/configure
index 1811b56..3314f75 100755
--- a/configure
+++ b/configure
@@ -25,6 +25,7 @@ exec >config.mk
 for opt; do
 	case "${opt}" in
 		(--prefix=*) echo "PREFIX = ${opt#*=}" ;;
+		(--bindir=*) echo "BINDIR = ${opt#*=}" ;;
 		(--mandir=*) echo "MANDIR = ${opt#*=}" ;;
 		(*) echo "warning: unsupported option ${opt}" >&2 ;;
 	esac
-- 
cgit 1.4.1