aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2022-12-23 18:23:11 +0100
committerThomas Voss <mail@thomasvoss.com> 2022-12-23 18:23:11 +0100
commitabb30c3f03e6beba730777c73e39a42df049f1ab (patch)
treeaad6eab91797281772662785b09c35d005d73710
parentb2b032abe49e7a9dd20b9016c60742082e04e8b0 (diff)
Set prefix to /usr/local by default
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e6adf4b..d58a853 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ CFLAGS = -Wall -Wextra -Wpedantic -Werror \
-std=c11 -pipe
LDFLAGS = -llux
-PREFIX = /usr
+PREFIX = /usr/local
DPREFIX = ${DESTDIR}${PREFIX}
MANDIR = ${DPREFIX}/share/man