X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;fp=helm%2Fmatita%2FMakefile.in;h=a519950b0f1b94cb90530e23aaf1d9bc7518280e;hb=51d82e0a8a4d4ed86d2646edb2654e565ac34a82;hp=58b4fc60b87919f12a1d931323e4d26f84ae93e6;hpb=65de996c8b18f6c7f7a8aeaccb83b984d62d4ce5;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 58b4fc60b..a519950b0 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -29,12 +29,13 @@ CMOS =				\
 	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
+	matitamakeLib.cmo	\
+	matitaInit.cmo	\
 	matitaSync.cmo		\
 	matitacleanLib.cmo	\
 	matitaDisambiguator.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\
-	matitamakeLib.cmo	\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
 	matitaGtkMisc.cmo	\
@@ -49,6 +50,8 @@ CCMOS =				\
 	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
+	matitamakeLib.cmo	\
+	matitaInit.cmo \
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
 	matitacleanLib.cmo	\
@@ -56,7 +59,7 @@ CCMOS =				\
 	matitacLib.cmo		\
 	$(NULL)
 CLEANCMOS = $(CCMOS)
-MAKECMOS = $(CCMOS) matitamakeLib.cmo
+MAKECMOS = $(CCMOS) 
 
 all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake