From 82ad07d997b0b2ee70e1b2c7e82fcc6d0ccf23ea Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Mon, 29 Oct 2018 15:03:10 -0700
Subject: [PATCH] Update INSTALL to mention boot.sh

fixes #2
---
 INSTALL | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 545fdc9..f236e16 100644
--- a/INSTALL
+++ b/INSTALL
@@ -96,7 +96,10 @@ This section explains how to build and install the OpenFlow
 distribution in the ordinary way using "configure" and "make".
 
 0. Check that you have installed all the prerequisites listed above in
-   the Base Prerequisites section.
+   the Base Prerequisites section. Run `boot.sh` if necessary to create
+   the configure script.
+   
+      % ./boot.sh
 
 1. In the top source directory, configure the package by running the
    configure script.  You can usually invoke configure without any