some work

[helm.git] / helm / software / matita / contribs / dama / dama / Makefile

diff --git a/helm/software/matita/contribs/dama/dama/Makefile b/helm/software/matita/contribs/dama/dama/Makefile
index d40c9e674b7158c88eaeff44570e0241fa84dd45..92a16d1f036d4690621a5558f5d561f5746e2d86 100644 (file)
--- 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