From: Enrico Tassi Date: Mon, 19 May 2008 14:36:16 +0000 (+0000) Subject: added aps generation X-Git-Tag: make_still_working~5146 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3c46776d941312a0faa2e0ae2e112dd76242b6c9;p=helm.git added aps generation --- diff --git a/helm/software/components/ng_kernel/Makefile b/helm/software/components/ng_kernel/Makefile index 3d1c59cac..8d7fd2084 100644 --- a/helm/software/components/ng_kernel/Makefile +++ b/helm/software/components/ng_kernel/Makefile @@ -43,8 +43,9 @@ depend.dot: $(IMPLEMENTATION_FILES) $(INTERFACE_FILES) echo "}" >> depend.dot cat depend.dot | grep -v "rotate" > /tmp/depend.dot && mv /tmp/depend.dot . -depend.png: depend.dot +depend.png depend.eps: depend.dot dot -Tpng > depend.png < depend.dot + dot -Tps > depend.eps < depend.dot include ../../Makefile.defs include ../Makefile.common diff --git a/helm/software/components/ng_kernel/alluris.txt b/helm/software/components/ng_kernel/alluris.txt index 415580919..815d0e515 100644 --- a/helm/software/components/ng_kernel/alluris.txt +++ b/helm/software/components/ng_kernel/alluris.txt @@ -2203,4 +2203,3 @@ cic:/matita/technicalities/setoids/Areflexive_Relation_Class_rect.con cic:/matita/technicalities/setoids/Areflexive_Relation_Class_rec.con cic:/matita/technicalities/setoids/Areflexive_Relation_Class_ind.con cic:/matita/technicalities/setoids/Areflexive_Relation_Class.ind -cic:/matita/tests/foobar.con