Petites corrections diverses :

- bug d'installation (coq_config.cmo était installé une 2ème fois au
  lieu d'installer coq_config.cmx)
- suite nettoyage configure, option reals
- ajout d'une option "only parsing" oubliée dans Peano.v



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

1 files changed, 1 insertions, 2 deletions

diff --git a/configure b/configure
index 7e31a1f1b0..a23a5bfac8 100755
--- a/configure
+++ b/configure
@@ -127,8 +127,7 @@ while : ; do
     -prefix|--prefix) prefix_spec=yes
                       prefix="$2"
 		      shift;;
-    -local|--local) local=true
-		    reals=all;;
+    -local|--local) local=true;;
     -src|--src) src_spec=yes
                 COQSRC="$2"
 	        shift;;