X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FMakefile;h=a09321d6b014f850cdb2c5b99047efe0c68dd800;hb=55dc61d4b5a62883ea5532ed61e8780ca82f4bd7;hp=e5dac5f0aa4762d8228d7bc0b23dd2c9075da7fb;hpb=1475371df21b01889b06477984961cc09cc09e91;p=helm.git

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index e5dac5f0a..a09321d6b 100644
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -33,12 +33,6 @@ SHOW_FORMAT = dvi
 ########################################################################
 all:
 
-libraries.ps: libraries.dot
-	dot -Gclusterrank=none -Tps -o $@ $<
-librariesCluster.ps: libraries.dot
-	dot -Tps -o $@ $<
-matita2.dvi: libraries.ps librariesCluster.ps
-
 ########################################################################
 
 AVAILABLE_FORMATS = dvi ps ps.gz pdf html