From c0cb05335aa6a535b90d7593798efafcd074d0e3 Mon Sep 17 00:00:00 2001
From: "Marc G. Fournier" <scrappy@hub.org>
Date: Fri, 6 Jun 1997 01:34:59 +0000
Subject: [PATCH] From: PortSite <info@portsite.nl>

Install file says: Type flex -- version
There is a space between -- and version that shouldn't
be there :-(
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 01e198dc66..97514e50fc 100644
--- a/INSTALL
+++ b/INSTALL
@@ -114,7 +114,7 @@ To upgrade to PostgreSQL v6.1 do the following:
 
   5) Some platforms use flex.  If your system uses flex then make sure
      you have a good version.  Type
-        flex -- version
+        flex --version
 
      If the flex command is not found then you probably do not need it.
      If the version is 2.5.2 or 2.5.4 or greater then you are okay.  If it