From 87b5d89e41a0be4d921e148d2c3c3dd71b54c224 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 24 Jun 2005 15:13:47 +0000
Subject: [PATCH] fix

---
 helm/matita/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.39.2