X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=d498e37a102395521c3ec4e77a6147f2cbba8b18;hp=0614bda3d44a067a310de7dcaca1e9387c58f248;hb=c84e96bf662f4372a1732926f28429b0f73f8a61;hpb=792b5d29ebae8f917043d9dd226692919b5d6ca1

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0614bda3d..d498e37a1 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -72,7 +72,7 @@ MAKECMOS = \
 	buildTimeConf.cmo	\
 	matitamakeLib.cmo	\
 	$(NULL)
-PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake dump_moo
+PROGRAMS_BYTE = matitac matitadep matitaclean matitamake
 PROGRAMS = $(PROGRAMS_BYTE) matitatop
 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))