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 034f03326b0374562cf465c40a7cf27ba996366a..a63618c488b03a1c5f16fb0732264f78ddd81fbc 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,7 @@ MODULES += ${DOC_DIR}
 
 RM = rm
 
+#PREFIX = /usr/local
 PREFIX = ${HOME}
 INSTALL_OPTIONS = "--prefix=${PREFIX}"