X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fpapers%2Fmatita%2FMakefile;h=e5dac5f0aa4762d8228d7bc0b23dd2c9075da7fb;hb=f271439ffbe4b5a689061bd4744c9b9294f734e1;hp=d287d115c6811646d5f066afdd2f7eda46a754d5;hpb=383c0e6ff61664272e765bb05eb10565b66c5587;p=helm.git

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index d287d115c..e5dac5f0a 100644
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -11,7 +11,7 @@
 ########################################################################
 
 # list of .tex _main_ files
-TEXS = matita.tex
+TEXS = matita2.tex
 
 # number of runs of latex (for table of contents, list of figures, ...)
 RUNS = 1
@@ -30,6 +30,15 @@ BUILD_FORMATS = dvi ps
 # which format to be shown on "make show"
 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