]> matita.cs.unibo.it Git - helm.git/commitdiff
Also create the graphviz graph.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 23 Aug 2008 19:11:15 +0000 (19:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 23 Aug 2008 19:11:15 +0000 (19:11 +0000)
helm/software/matita/library/Makefile

index cce033fc015504202a5431ad04b60426d5431dbd..799841d7098bf883892f2304ef3f60b5ac0bd98d 100644 (file)
@@ -9,6 +9,6 @@ clean:
 clean.opt:
        ../matitaclean.opt
 depend:
-       ../matitadep
+       ../matitadep -dot
 depend.opt:
-       ../matitadep.opt
+       ../matitadep.opt -dot