From 3cc0d63f5951e4053652baa51ed26e2494c7d1fa Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 15 Oct 2003 13:37:08 +0000
Subject: Pour eviter que newtheories/Lists/List.v soit refait quand PolyList.v
 est refait non parce qu'il faut mais parce qu'il a disparu

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

diff --git a/Makefile b/Makefile
index e974fdd35b..e9f0e26fdd 100644
--- a/Makefile
+++ b/Makefile
@@ -833,10 +833,10 @@ newtheories/Lists/List.v: newtheories/Lists/PolyList.v
 	(cd newtheories/Lists; cp -f PolyList.v List.v)
 
 newtheories/Lists/PolyList.vo:
-	rm newtheories/Lists/PolyList.v
+	@cd #nil command: don't compile it
 
 newtheories/Lists/PolyListSyntax.vo:
-	rm newtheories/Lists/PolyListSyntax.v
+	@cd #nil command: don't compile it
 
 # Obsolete ?
 contrib/interface/AddDad.vo: contrib/interface/AddDad.v $(INTERFACE) states/initial.coq
-- 
cgit v1.2.3