diff options
author | 2008-08-22 08:54:26 +0000 | |
---|---|---|
committer | 2008-08-22 08:54:26 +0000 | |
commit | ef9f42afe284dae1794acd2f27d6e82f8c941c7b (patch) | |
tree | 9f5450e4b50c00ae1b14a1c8a5dba8c1e7dca631 /Makefile.build | |
parent | bc0fc3752b85e7f1c71b2f049ed8c8e006fca9c7 (diff) |
Typo (corrige le bug #1928)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11332 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
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) |