From: W. Trevor King <wking@drexel.edu>
Date: Sun, 12 Jul 2009 19:27:40 +0000 (-0400)
Subject: Added (commented out) /usr/local PREFIX to Makefile.
X-Git-Tag: 1.0.0~64^2~3
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=77fe8d1e2c71fb783160ab9946d9dc9e471a11c1;p=be.git

Added (commented out) /usr/local PREFIX to Makefile.

I got a bit confused and installed be into "/usr/local " instead of
"/usr/local" with
  PREFIX = /usr/local # ${HOME}
With the alternate PREFIX line right there, there should be less
temptation to do again :p.
---

diff --git a/Makefile b/Makefile
index 034f033..a63618c 100644
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,7 @@ MODULES += ${DOC_DIR}
 
 RM = rm
 
+#PREFIX = /usr/local
 PREFIX = ${HOME}
 INSTALL_OPTIONS = "--prefix=${PREFIX}"