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 \
matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
+ matitamakeLib.cmo \
+ matitaInit.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
matitacleanLib.cmo \
matitacLib.cmo \
$(NULL)
CLEANCMOS = $(CCMOS)
-MAKECMOS = $(CCMOS) matitamakeLib.cmo
+MAKECMOS = $(CCMOS)
all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake