From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 24 Jun 2005 15:13:47 +0000 (+0000)
Subject: fix
X-Git-Tag: INDEXING_NO_PROOFS~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87b5d89e41a0be4d921e148d2c3c3dd71b54c224;p=helm.git

fix
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 67a7fabc8..0751f845b 100644
--- 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)