better doc

[helm.git] / helm / software / matita / library / Makefile

diff --git a/helm/software/matita/library/Makefile b/helm/software/matita/library/Makefile
index cce033fc015504202a5431ad04b60426d5431dbd..799841d7098bf883892f2304ef3f60b5ac0bd98d 100644 (file)
--- a/helm/software/matita/library/Makefile
+++ b/helm/software/matita/library/Makefile
@@ -9,6 +9,6 @@ clean:
 clean.opt:
        ../matitaclean.opt
 depend:
-       ../matitadep
+       ../matitadep -dot
 depend.opt:
-       ../matitadep.opt
+       ../matitadep.opt -dot