From ef9f42afe284dae1794acd2f27d6e82f8c941c7b Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 22 Aug 2008 08:54:26 +0000
Subject: Typo (corrige le bug #1928)

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

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index a0461d7a3..2ccf0ee86 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -663,7 +663,7 @@ endif
 	# csdpcert is not meant to be directly called by the user;
 	# we install it with libraries
 	-$(MKDIR) -p $(FULLCOQLIB)/contrib/micromega
-	$(INSTALLBIN) $(CDSPCERT) $(FULLCOQLIB)/contrib/micromega
+	$(INSTALLBIN) $(CSDPCERT) $(FULLCOQLIB)/contrib/micromega
 
 install-library-light:
 	$(MKDIR) $(FULLCOQLIB)
-- 
cgit v1.2.3