From 5eeb9aef4824129bf9d3021094ce3eadbbd135d7 Mon Sep 17 00:00:00 2001
From: Cristian <cristianvazquez4@gmail.com>
Date: Tue, 5 May 2020 21:56:32 -0300
Subject: [PATCH] Change PREFIX /usr by /usr/local

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7850e37..7b844ef 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-PREFIX ?= /usr
+PREFIX ?= /usr/local
 DOCDIR ?= $(PREFIX)/share/doc/bashtop
 
 all: