From cae423e543b9d41ef470957d5d0f6af952eae3a9 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Sun, 14 Mar 2010 19:32:10 -0700
Subject: [PATCH] For now, make install.

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

diff --git a/INSTALL b/INSTALL
index 7b5b1b3..83fe5a0 100644
--- a/INSTALL
+++ b/INSTALL
@@ -10,7 +10,7 @@ Preliminary Mininet Installation/Configuration Notes
 
 - To install mininet, with root privileges:
 
-  # python setup.py install
+  # make install
 
   This places the mininet package in /usr/lib/python-2.5/site-packages/,
   so that 'import mininet' will work, and installs the primary mn