Update INSTALL file.

diff --git a/INSTALL b/INSTALL
index 8bca14db37cd2af85644ddb2c3837546be74f570..2b1dadcf65d9c9292caa6301dd247eb7113683d6 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -17,8 +17,6 @@ parentheses):
 
 * GNU make (make)
 * C++ compiler (gcc-c++ on RHEL, build-essential on Debian)
-* Flex
-* GNU Bison
 * OpenSSL library and header files (openssl-devel on RHEL, libssl-dev
                                     on Debian)
 * Boost library and header files (boost-devel on RHEL, libboost-all-dev
@@ -41,6 +39,9 @@ mentioned above:
 * GNU bison (bison)
 * GNU flex (flex)
 
+In order to build the dist tarball (using "make dist") you need sufficiently
+recent versions of the packages listed above.
+
 User Requirements
 -----------------