From 20097b592404c4ef732d45128fff92a594ed45cf Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 2 Jun 2004 15:12:16 +0000
Subject: MacOS X dans /usr/local

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

diff --git a/distrib/Makefile b/distrib/Makefile
index 92b603e9dd..4cd80518ed 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -150,7 +150,7 @@ arch-image: $(TARGZ)
 	(cd $(ARCHBUILDROOT);\
 	 gunzip -c $(DISTRIBDIR)/$(TARGZ) | tar xf -;\
 	 cd $(COQPACKAGE);\
-	 ./configure -prefix /usr -emacslib /usr/local/lib/emacs/site-lisp -opt -reals all;\
+	 ./configure -prefix /usr/local -emacslib /usr/local/lib/emacs/site-lisp -opt -reals all;\
 	 $(MAKECOQ) coq check;\
 	 $(MAKECOQ) -e COQINSTALLPREFIX=$(ARCHINSTALL) BASETEXDIR=$(ARCHINSTALL) install-coq) > arch-image.log 2>&1
 	@echo " .... done"
-- 
cgit v1.2.3