$(NULL)
CLEANCMOS = $(CCMOS)
MAKECMOS = $(CCMOS)
-PROGRAMS = matita matitac matitatop cicbrowser matitadep matitaclean matitamake
-PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS))
+PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake
+PROGRAMS = $(PROGRAMS_BYTE) matitatop dump_moo
+PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
-all: matita.conf.xml $(PROGRAMS) dump_moo
+all: matita.conf.xml $(PROGRAMS)
matita.conf.xml: matita.conf.xml.sample
@if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\