From ce2458c1df5d9899cdc4e8c89d3ee4df7574908c Mon Sep 17 00:00:00 2001
From: M S Vishwanath Bhat <msvbhat@gmail.com>
Date: Sun, 14 Jun 2015 14:12:23 +0530
Subject: [PATCH] INSTALL: Another trivial install.sh path fix

Signed-off-by: M S Vishwanath Bhat <msvbhat@gmail.com>
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 42fc4cc..9b79303 100644
--- a/INSTALL
+++ b/INSTALL
@@ -65,7 +65,7 @@ like to contribute an installation script, we would welcome it!)
    where <release tag> is the release you want to check out.
 
    If you are running Ubuntu, Debian, or Fedora, you may be able to use
-   our handy `install.sh` script, which is in `mininet/util`.
+   our handy `install.sh` script, which is in `util/`.
 
    *WARNING: USE AT YOUR OWN RISK!*