From 2ad9f62e4451f5f4919abdd0775651cceea2b572 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 20 Mar 2007 13:12:54 +0000
Subject: ajout contrib/dp/Dp.vo

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

diff --git a/Makefile b/Makefile
index 708f8af85f..77ea852576 100644
--- a/Makefile
+++ b/Makefile
@@ -1101,6 +1101,8 @@ JPROVERVO=
 
 CCVO=
 
+DPVO=contrib/dp/Dp.vo
+
 SUBTACVO=contrib/subtac/SubtacTactics.vo contrib/subtac/Utils.vo contrib/subtac/FixSub.vo contrib/subtac/Subtac.vo \
 	contrib/subtac/FunctionalExtensionality.vo
 
@@ -1109,7 +1111,7 @@ RTAUTOVO = \
 
 CONTRIBVO = $(OMEGAVO) $(ROMEGAVO) $(RINGVO) $(FIELDVO) $(XMLVO) \
 	    $(FOURIERVO) $(JPROVERVO) $(CCVO) $(FUNINDVO) $(SUBTACVO) \
-	    $(RTAUTOVO) $(RECDEFVO) $(NEWRINGVO)
+	    $(RTAUTOVO) $(RECDEFVO) $(NEWRINGVO) $(DPVO)
 
 contrib: $(CONTRIBVO) $(CONTRIBCMO)
 omega: $(OMEGAVO) $(OMEGACMO) $(ROMEGAVO) $(ROMEGACMO)
-- 
cgit v1.2.3