X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FMakefile;h=a09321d6b014f850cdb2c5b99047efe0c68dd800;hb=112afe13b5aef27425d1a0bc9c71a70b491069bf;hp=8cbb806177417edcbf39c5a710c8dfff86e63a99;hpb=ffbef6329458347da5805b12c98819cc0ce4ab73;p=helm.git

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index 8cbb80617..a09321d6b 100644
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -31,12 +31,7 @@ BUILD_FORMATS = dvi ps
 SHOW_FORMAT = dvi
 
 ########################################################################
-
-libraries.ps: libraries.dot
-	dot -Gclusterrank=none -Tps -o $@ $<
-librariesCluster.ps: libraries.dot
-	dot -Tps -o $@ $<
-matita2.dvi: libraries.ps librariesCluster.ps
+all:
 
 ########################################################################