From: Boyuan Yang Date: Tue, 1 Oct 2019 11:34:52 -0400 Subject: Makefile: use /usr/ instead of /usr/local/ --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 48a2619..407163b 100644 --- a/Makefile +++ b/Makefile @@ -35,11 +35,11 @@ SHELL = /bin/sh .SUFFIXES: .c .o # GNU conventional destination vars -prefix=/usr/local +prefix=/usr exec_prefix=$(prefix) bindir=$(exec_prefix)/bin libdir=$(exec_prefix)/lib -mandir=/usr/local/man +mandir=$(prefix)/share/man man1dir=$(mandir)/man1 manext=.1