From b6e48edfe3a3df123ea8e3de81d96866ae54d553 Mon Sep 17 00:00:00 2001
From: lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 17 Jan 2007 18:01:02 +0000
Subject: Reintroduce compatibility with old versions of GNU make

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9497 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index fc900e05f..fbfee163e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -11,13 +11,6 @@ WHAT DO YOU NEED ?
      - Objective Caml version 3.07 or later
        (available at http://caml.inria.fr/)
 
-     - GNU Make version 3.80 or later
-       (available at http://www.gnu.org/software/make/, but also a
-        standard or optional add-on part to most Unices and Unix
-        clones, sometimes under the name "gmake".)
-
-     - A C compiler
-
    Until now, it has mainly been tested on Sun workstations running Solaris,
    DEC alpha and Pentium workstations running Linux. By FTP, Coq comes
    as a single compressed tar-file. You have probably already
-- 
cgit v1.2.3