X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=bbf534b325967ccee89dc0b6ce8abd00d25d4d69;hb=349a0e23813a7f33853e1f8fe48230276ac22934;hp=155a36e0875e133b66c1acd2a05ddc44e1ca610f;hpb=2bf27fdf892c66e309600400a3b3ec292f796039;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 155a36e08..bbf534b32 100644
--- 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