3 # Generic makefile for latex
5 # Author: Stefano Zacchiroli <zack@bononia.it>
7 # Created: Sun, 29 Jun 2003 12:00:55 +0200 zack
8 # Last-Modified: Mon, 10 Oct 2005 15:37:12 +0200 zack
11 ########################################################################
13 # list of .tex _main_ files
16 # number of runs of latex (for table of contents, list of figures, ...)
22 # would you like to use pdflatex?
23 PDF_VIA_PDFLATEX = yes
25 # which formats generated by default ("all" target)?
26 # (others will be generated by "world" target)
27 # see AVAILABLE_FORMATS below
28 BUILD_FORMATS = dvi ps
30 # which format to be shown on "make show"
33 ########################################################################
36 libraries.ps: libraries.dot
37 dot -Gclusterrank=none -Tps -o $@ $<
38 librariesCluster.ps: libraries.dot
40 matita2.dvi: libraries.ps librariesCluster.ps
42 ########################################################################
44 AVAILABLE_FORMATS = dvi ps ps.gz pdf html
61 ALL_FORMATS = $(BUILD_FORMATS)
62 WORLD_FORMATS = $(AVAILABLE_FORMATS)
65 world: $(WORLD_FORMATS)
67 DVIS = $(TEXS:.tex=.dvi)
68 PSS = $(TEXS:.tex=.ps)
69 PSGZS = $(TEXS:.tex=.ps.gz)
70 PDFS = $(TEXS:.tex=.pdf)
71 HTMLS = $(TEXS:.tex=.html)
79 show: show$(SHOW_FORMAT)
97 $(TEXS:.tex=.dvi) $(TEXS:.tex=.ps) $(TEXS:.tex=.ps.gz) \
98 $(TEXS:.tex=.pdf) $(TEXS:.tex=.aux) $(TEXS:.tex=.log) \
99 $(TEXS:.tex=.html) $(TEXS:.tex=.out) $(TEXS:.tex=.haux) \
100 $(TEXS:.tex=.htoc) $(TEXS:.tex=.tmp)
104 if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
105 if [ "$(RUNS)" -gt 1 ]; then \
106 for i in seq 1 `expr $(RUNS) - 1`; do \
110 ifeq ($(PDF_VIA_PDFLATEX),yes)
113 if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
114 if [ "$(RUNS)" -gt 1 ]; then \
115 for i in seq 1 `expr $(RUNS) - 1`; do \
130 .PHONY: all ps pdf html clean
132 ########################################################################