From f3b55488ec289e06c6926396a4049f53a422ae0c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 May 2003 12:45:17 +0000
Subject: entréé translation2

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

diff --git a/Makefile b/Makefile
index 9eea3f1899..412de905f0 100644
--- a/Makefile
+++ b/Makefile
@@ -1266,6 +1266,10 @@ translation::
 	@$(MAKE) COQ_XML=-ftranslate world
 	@$(MAKE) movenew
 
+translation2::
+	@$(MAKE) COQ_XML=-ftranslate2 world
+	@$(MAKE) movenew
+
 movenew::
 	-mv *.v8 theories/Init/
 	for i in theories/*/*.v8 contrib/*/*.v8; do \
-- 
cgit v1.2.3