From: Marc G. Fournier <scrappy@hub.org>
Date: Fri, 6 Jun 1997 01:34:59 +0000 (+0000)
Subject: From: PortSite <info@portsite.nl>
X-Git-Tag: REL6_1~39
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c0cb05335aa6a535b90d7593798efafcd074d0e3;p=postgresql

From: PortSite <info@portsite.nl>

Install file says: Type flex -- version
There is a space between -- and version that shouldn't
be there :-(
---

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