maxipatch for support of multiple DBs.

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 15a3a8c2cbbb22a19e98c4d2c0dd2203bfcb6fc1..1c11060d47be6837e0367c73696d959b16a41586 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -31,8 +31,8 @@ MLI = \
        matitaTypes.mli         \
        matitaMisc.mli          \
        matitamakeLib.mli       \
-       matitaInit.mli          \
        matitaExcPp.mli         \
+       matitaInit.mli          \
        matitaEngine.mli        \
        applyTransformation.mli \
        matitacLib.mli          \
@@ -46,8 +46,8 @@ CMLI =                                \
        matitaTypes.mli         \
        matitaMisc.mli          \
        matitamakeLib.mli       \
-       matitaInit.mli          \
        matitaExcPp.mli         \
+       matitaInit.mli          \
        matitaEngine.mli        \
        applyTransformation.mli \
        matitacLib.mli          \
@@ -296,7 +296,7 @@ endif
                ln -fs matita $(WHERE)/$$p;\
        done
        $(H)cp -a library/ $(WHERE)/ma/standard-library
-       $(H)cp -a contribs/ $(WHERE)/ma/
+       #$(H)cp -a contribs/ $(WHERE)/ma/
        $(H)touch install_preliminaries.stamp
 
 uninstall: