From 1b8d589112ad6b1f3148682689105ce94d8df44d Mon Sep 17 00:00:00 2001
From: "C. McEnroe" <june@causal.agency>
Date: Thu, 23 Jul 2020 16:40:46 -0400
Subject: [PATCH] Support --prefix and --mandir in configure script

---
 README.7  | 6 +++---
 configure | 8 ++++++++
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/README.7 b/README.7
index 39da90a..b10929f 100644
--- a/README.7
+++ b/README.7
@@ -93,12 +93,12 @@ macOS
 and Linux.
 On
 .Ox ,
-additionally set
-.Ev MANDIR=/usr/local/man .
+configure with
+.Fl Fl mandir=/usr/local/man .
 .Bd -literal -offset indent
 \&./configure
 make all
-sudo make install PREFIX=/usr/local
+sudo make install
 .Ed
 .
 .Pp
diff --git a/configure b/configure
index d1f940d..b11679d 100755
--- a/configure
+++ b/configure
@@ -22,6 +22,14 @@ defvar() {
 
 exec >config.mk
 
+for opt; do
+	case "${opt}" in
+		(--prefix=*) echo "PREFIX = ${opt#*=}" ;;
+		(--mandir=*) echo "MANDIR = ${opt#*=}" ;;
+		(*) echo "warning: unsupported option ${opt}" >&2 ;;
+	esac
+done
+
 case "$(uname)" in
 	(FreeBSD)
 		ldlibs -lncursesw