From 13b8edd239cabfb13cefa05ac91356f0af2eedac Mon Sep 17 00:00:00 2001
From: Gunnar Beutner <gunnar.beutner@netways.de>
Date: Tue, 8 Oct 2013 12:57:41 +0200
Subject: [PATCH] Update INSTALL file.

---
 INSTALL | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index 8bca14db3..2b1dadcf6 100644
--- 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
 -----------------
 
-- 
2.40.0