From 4e3b6db89c4223c3563ed7fc7f92f78a95c99283 Mon Sep 17 00:00:00 2001
From: courant
Date: Wed, 25 Apr 2001 11:02:14 +0000
Subject: modif rpm

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

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 4cfe3a264e..0c405bcd1b 100644
--- a/INSTALL
+++ b/INSTALL
@@ -109,8 +109,7 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
    to compile Coq in Objective Caml bytecode (and native-code if supported).
 
    This will compile the entire system. This phase can take more or less time,
-   depending on your architecture (about 30 minutes for both compilations
-   on a Pentium Pro 150), and is fairly verbose. 
+   depending on your architecture and is fairly verbose. 
 
 6- You can now install the Coq system. Executables, libraries, manual pages
    and emacs mode are copied in some standard places of your system, defined at
-- 
cgit v1.2.3