From 279d89933a679fb0d5b4cb8ad9b6ca78bea4b554 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 20 Dec 2005 21:59:18 +0000
Subject: Abandon gestion des extensions de syntaxe de la v7 et du traducteur
 dans metasyntax.ml

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2a14ec0d42..0c2fd287b9 100644
--- a/Makefile
+++ b/Makefile
@@ -395,7 +395,7 @@ COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP)
 
 coqbinaries:: ${COQBINARIES}
 
-coq: coqlib tools coqbinaries coqlib7
+coq: coqlib tools coqbinaries
 coq8: coqlib tools coqbinaries
 coq7: coqlib7 tools coqbinaries
 
-- 
cgit v1.2.3