1 files changed, 0 insertions, 7 deletions
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