added aps generation

diff --git a/helm/software/components/ng_kernel/Makefile b/helm/software/components/ng_kernel/Makefile
index 3d1c59cac4d496ce8abf4a41c361545365c13752..8d7fd20844022fb86319db48923340b45ac9e517 100644 (file)
--- 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 415580919250011d640dbac54bab41950b608d21..815d0e51543c8641dc900e34d67fe8c2d1df0505 100644 (file)
--- 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