From b6c46d17a7cc5a59ae6f36fa3316fb495dae71b4 Mon Sep 17 00:00:00 2001
From: Pedro Melo <melo@simplicidade.org>
Date: Thu, 9 Jun 2011 09:14:18 -0700
Subject: [PATCH] Small fix in the installation instructions

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

diff --git a/INSTALL b/INSTALL
index 9bce0b2e1..2b9fc4a82 100644
--- a/INSTALL
+++ b/INSTALL
@@ -12,7 +12,7 @@ and all the binaries will be installed on /usr/local/bin.
 
 Alternatively:
 
-    make PREFIX=/some/other/directory
+    make PREFIX=/some/other/directory install
 
 to have the binaries in /some/other/directory/bin.