preparation pour release (suite)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/INSTALL b/INSTALL
index e411d0efe..ccfc65e06 100644
--- a/INSTALL
+++ b/INSTALL
@@ -35,8 +35,8 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
    in your $PATH environment variable. 
 
    To get Coq in native-code, (it runs 4 to 10 times faster than
-   bytecode, but it takes more time to compile, uses more space),
-   you will also need the "ocamlopt" (or its native code version
+   bytecode, but it takes more time to get compiled and the binary is
+   bigger), you will also need the "ocamlopt" (or its native code version
    "ocamlopt.opt") command.
 
 2- Check that you have Camlp4 installed on your