From 256590281910ebd4408057cc08d2eeec610970a5 Mon Sep 17 00:00:00 2001 From: Nicole Patricia Mazzuca Date: Sat, 3 May 2025 16:22:53 +0200 Subject: [PATCH] Allow PREFIX to be set by user This allows for the following command to work: ``` PREFIX=~/.local make install ``` The makefile already handles the `PREFIX` not being at `/usr/local` --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 623aaf7..31f9aaa 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ .POSIX: -PREFIX = /usr/local +PREFIX ?= /usr/local MANPREFIX = $(PREFIX)/share/man install: