X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=7c42dc8182e05e3c06fd6f37798224804804d5dc;hb=7dea3a24143f94e6d41552c23389346bd279d0ed;hp=544d0fd7024bd0521849926f1ab301c74d6e89d8;hpb=dc7e826399162e2fde3ddf1f02d5530d6cd11205;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 544d0fd70..7c42dc818 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -285,6 +285,7 @@ endif
 		ln -fs matita $(WHERE)/$$p;\
 	done
 	$(H)cp -a library/ $(WHERE)/ma/standard-library
+	$(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
 
 	$(H)touch install_preliminaries.stamp