From d737ee00097f67b300155a84b4b1cf2fe4b7d91e Mon Sep 17 00:00:00 2001
From: Richard Kreckel <kreckel@ginac.de>
Date: Sun, 2 May 2004 19:57:18 +0000
Subject: [PATCH] * Mention gcc 3.4 for x86.

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index e0da446..1645ff3 100644
--- a/INSTALL
+++ b/INSTALL
@@ -11,7 +11,7 @@ $ make install
 You need GNU make. On HP-UX, you also need GNU sed.
 
 Known to work with:
-  - Linux/x86, gcc-2.95.x, gcc-3.[0-3]
+  - Linux/x86, gcc-2.95.x, gcc-3.[0-4]
   - Linux/ia64, gcc-2.96, gcc-3.[2-3]
   - Linux/arm, gcc-2.95.3, gcc-3.[0-3]
   - Linux/sparc, gcc-2.95.3, gcc-3.[1-3]