X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FMakefile;h=e5dac5f0aa4762d8228d7bc0b23dd2c9075da7fb;hb=9f66deafc611d91e5bd68d33aa4d603a99d40de9;hp=07747771a119e406ec0163e7325a8f6a8c61976b;hpb=f7d04edd37b51a7daa4e372be9439163f92648b6;p=helm.git

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index 07747771a..e5dac5f0a 100644
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -11,13 +11,13 @@
 ########################################################################
 
 # 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
 
 # do you need bibtex?
-BIBTEX = no
+BIBTEX = yes
 
 # would you like to use pdflatex?
 PDF_VIA_PDFLATEX = yes
@@ -25,11 +25,20 @@ PDF_VIA_PDFLATEX = yes
 # which formats generated by default ("all" target)?
 # (others will be generated by "world" target)
 # see AVAILABLE_FORMATS below 
-BUILD_FORMATS = dvi
+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
@@ -112,7 +121,7 @@ else
 	$(DVIPDF) $< $@
 endif
 %.ps: %.dvi
-	$(DVIPS) $<
+	$(DVIPS) -ta4 $<
 %.ps.gz: %.ps
 	$(GZIP) -c $< > $@
 %.html: %.tex