Rename INSTALL_TOP to PREFIX; update documentation

Signed-off-by: Pedro Melo <melo@simplicidade.org>

3 files changed, 15 insertions, 3 deletions

diff --git a/INSTALL b/INSTALL
index 7c6635aa1..9bce0b2e1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -3,7 +3,18 @@ To compile Redis, do the following:
     cd src; make
 
 The compilation will produce a redis-server binary.
-Copy this file where you want.
+
+To install Redis, use
+
+    make install
+
+and all the binaries will be installed on /usr/local/bin.
+
+Alternatively:
+
+    make PREFIX=/some/other/directory
+
+to have the binaries in /some/other/directory/bin.
 
 Run the server using the following command line:
 
diff --git a/README b/README
index 5eeabf747..1f0a1fe64 100644
--- a/README
+++ b/README
@@ -16,7 +16,8 @@ It is as simple as:
 
 Redis is just a single binary, but if you want to install it you can use
 the "make install" target that will copy the binary in /usr/local/bin
-for default.
+for default. You can also use "make PREFIX=/some/other/directory install"
+if you wish to use a different destination.
 
 You can run a 32 bit Redis binary using:
 
diff --git a/src/Makefile b/src/Makefile
index 38007e8d9..2dc3065f2 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -15,7 +15,7 @@ endif
 CCOPT= $(CFLAGS) $(CCLINK) $(ARCH) $(PROF)
 DEBUG?= -g -rdynamic -ggdb 
 
-INSTALL_TOP= /usr/local
+PREFIX= /usr/local
 INSTALL_BIN= $(INSTALL_TOP)/bin
 INSTALL= cp -p