From 3c46776d941312a0faa2e0ae2e112dd76242b6c9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 19 May 2008 14:36:16 +0000 Subject: [PATCH] added aps generation --- helm/software/components/ng_kernel/Makefile | 3 ++- helm/software/components/ng_kernel/alluris.txt | 1 - 2 files changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2