From 41e5f965489cd5cf00f3451fbd34d51fd2a14b51 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Wed, 26 Sep 2018 20:28:35 +0200
Subject: [PATCH] Now install in /usr/local.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 974f8dc..7dba9ee 100644
--- a/Makefile
+++ b/Makefile
@@ -18,8 +18,8 @@
 #  along with mymail.  If not, see <http://www.gnu.org/licenses/>.
 #
 
-BINARY_PATH = $(DESTDIR)/usr/bin
-MAN_PATH = $(DESTDIR)/usr/share/man/man1
+BINARY_PATH = $(DESTDIR)/usr/local/bin
+MAN_PATH = $(DESTDIR)/usr/local/share/man/man1
 
 LDFLAGS=
 
-- 
2.20.1