########################################################################
# 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
# 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
$(DVIPDF) $< $@
endif
%.ps: %.dvi
- $(DVIPS) $<
+ $(DVIPS) -ta4 $<
%.ps.gz: %.ps
$(GZIP) -c $< > $@
%.html: %.tex