From bf1ff3f34c386d3f846b08d66db4178d4bc4152e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 15 Sep 2003 09:04:15 +0000
Subject: Reprise de coqbinaries dans translation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4399 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 9b4e5a36f9..2dc4cf5705 100644
--- a/Makefile
+++ b/Makefile
@@ -329,13 +329,13 @@ COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) \
 
 coqbinaries:: ${COQBINARIES}
 
+# Aliases for various worlds
 newworld: world8
-
-oldworld: world7
-
 world: world7
+translation: coqbinaries coqlib8-source
+oldworld: world7
 
-world8: coqbinaries translation coqlib8 tools coqide
+world8: coqbinaries coqlib8-source coqlib8 tools coqide
 
 world7: coqbinaries coqlib7 tools coqide
 
@@ -1296,7 +1296,7 @@ devel:
 ############################################################################
 
 # 1. Translate the old syntax files and build new syntax theories hierarchy
-translation:: $(BESTCOQTOP)
+coqlib8-source:: $(BESTCOQTOP)
 	@$(MAKE) SYNTAX="-translate -no-strict" coqlib7
 	@$(MAKE) movenew
 
-- 
cgit v1.2.3