- handles about:* uris in cicBrowser

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 155a36e0875e133b66c1acd2a05ddc44e1ca610f..bbf534b325967ccee89dc0b6ce8abd00d25d4d69 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -103,7 +103,7 @@ TAGS:
        cd ..; otags -vi -r ocaml/ matita/
 
 #.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli
-.depend:
+depend:
        $(OCAMLDEP) *.ml *.mli > .depend
 
 include .depend