tous les binaires maintenant dans le repertoire bin

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

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 624a1c5b4..a5f4ad7a9 100755
--- a/configure
+++ b/configure
@@ -52,7 +52,7 @@ while : ; do
 		      shift;;
     -local|--local) local=true
                     bindir_spec=yes
-                    bindir=$COQTOP
+                    bindir=$COQTOP/bin
                     libdir_spec=yes
 		    libdir=$COQTOP
                     mandir_spec=yes