matitacleanLib.cmo \
matitaDisambiguator.cmo \
matitaEngine.cmo \
+ matitacLib.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaGtkMisc.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
matitaEngine.cmo \
+ matitacleanLib.cmo \
matitacLib.cmo
-CLEANCMOS = $(CCMOS) matitacleanLib.cmo
+CLEANCMOS = $(CCMOS)
all: matita matitac matitatop cicbrowser matitadep matitaclean