From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 23 Aug 2008 19:11:15 +0000 (+0000)
Subject: Also create the graphviz graph.
X-Git-Tag: make_still_working~4852
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=1a28cedd1ef1a9ef608dce25b058c6e2e82c34c3;p=helm.git

Also create the graphviz graph.
---

diff --git a/helm/software/matita/library/Makefile b/helm/software/matita/library/Makefile
index cce033fc0..799841d70 100644
--- 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