1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
From: Boyuan Yang <byang@debian.org>
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
|
