In preparation of 0.95.1 release.

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 0271b714a5566704a599af382be964fb34532b89..bb8486dc3e9eca38f514a331f1a491a657621597 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -229,10 +229,8 @@ INSTALL_STUFF =                    \
        matita.gtkrc                    \
        matita.lang                     \
        matita.ma.templ                 \
-       core_notation.moo               \
        matita.conf.xml                 \
        closed.xml                      \
-       gtkmathview.matita.conf.xml     \
        AUTHORS                         \
        LICENSE                         \
        $(NULL)
@@ -263,8 +261,9 @@ endif
        $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
                ln -fs matita $(WHERE)/$$p;\
        done
-       $(H)cp -a library/ $(WHERE)/ma/standard-library
-       $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
+       $(H)cp -a lib $(WHERE)/ma/standard-library
+       $(H)rm -r $(WHERE)/ma/standard-library/lambda
+       $(H)rm -r $(WHERE)/ma/standard-library/lambdaN
 
        $(H)touch install_preliminaries.stamp