diff options
| author | June McEnroe <june@causal.agency> | 2021-05-02 19:51:54 -0400 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2021-05-02 19:51:54 -0400 |
| commit | fd936a428cf8022c54d31e1c593a86d254836c99 (patch) | |
| tree | 44cd557af0ae2185a0bf35e1a4ec4d76fd55e1e7 /configure | |
| parent | Only link litterbox with -ltls (diff) | |
| download | litterbox-fd936a428cf8022c54d31e1c593a86d254836c99.tar.gz litterbox-fd936a428cf8022c54d31e1c593a86d254836c99.zip | |
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.
Diffstat (limited to '')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
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 |