fix

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 67a7fabc8c552a5b3c7600dab01c0d4a4a3ff2e8..0751f845b2d708d41d628d2bb7bb204387998116 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -45,7 +45,7 @@ CCMOS =                               \
 
 all: matita matitac cicbrowser
 
-updater:
+updater: $(LIB_DEPS)
        $(OCAMLC) $(PKGS) -linkpkg -o $@ updater.ml
 
 ifeq ($(HAVE_OCAMLOPT),yes)