ported to new getter interface

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index d1eff032ae738fb4610321f9b355524e17ce2b33..4d03f8dfc89781fab555e1e3af328dea8571353a 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -54,9 +54,6 @@ CLEANCMOS = $(CCMOS) matitacleanLib.cmo
 
 all: matita matitac matitatop cicbrowser matitadep matitaclean
 
-updater: $(LIB_DEPS)
-       $(OCAMLC) $(PKGS) -linkpkg -o $@ updater.ml
-
 ifeq ($(HAVE_OCAMLOPT),yes)
 CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
 CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))