From 1a28cedd1ef1a9ef608dce25b058c6e2e82c34c3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 23 Aug 2008 19:11:15 +0000 Subject: [PATCH] Also create the graphviz graph. --- helm/software/matita/library/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2