X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2FMakefile;h=92a16d1f036d4690621a5558f5d561f5746e2d86;hb=1470ff47df1349333c6b721a1c162cc7dfc6806f;hp=d40c9e674b7158c88eaeff44570e0241fa84dd45;hpb=d4302f43737034a69bd475e5f46e8d126229375e;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/Makefile b/helm/software/matita/contribs/dama/dama/Makefile
index d40c9e674..92a16d1f0 100644
--- a/helm/software/matita/contribs/dama/dama/Makefile
+++ b/helm/software/matita/contribs/dama/dama/Makefile
@@ -11,6 +11,6 @@ clean:
 clean.opt:
 	$(BIN)../matitaclean.opt
 depend:
-	$(BIN)../matitadep
+	$(BIN)../matitadep -dot && rm depends.dot
 depend.opt:
-	$(BIN)../matitadep.opt
+	$(BIN)../matitadep.opt -dot && rm depends.dot