added a function to reorder the metasenv.

[helm.git] / helm / matita / library / Makefile

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 4e85bccccfaaa81c2fdf18307d67223bc7951e51..8375a61b6877f256e1b91690f0e4d91ca5c505db 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -44,4 +44,5 @@ depend:
 $(DEPEND_NAME): $(SRC)
        $(H)$(MATITADEP) $(SRC) > $@ || rm -f $@
 
-include $(DEPEND_NAME)
+#include $(DEPEND_NAME)
+include .depend