]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/calculemus-2003/Makefile
snapshot (1st commit of fix body generation)
[helm.git] / helm / papers / calculemus-2003 / Makefile
1
2 #
3 # Generic makefile for latex
4 #
5 # Author: Stefano Zacchiroli <zack@bononia.it>
6 #
7 # Created: Sun, 29 Jun 2003 12:00:55 +0200 zack
8 # Last-Modified: Sun, 29 Jun 2003 12:00:55 +0200 zack
9 #
10
11 ########################################################################
12
13 # list of .tex _main_ files
14 TEXS = hbugs-calculemus-2003.tex
15
16 # number of runs of latex (for table of contents, list of figures, ...)
17 RUNS = 3
18
19 # do you need bibtex?
20 BIBTEX = no
21
22 # which formats generated by default ("all" target)?
23 # (others will be generated by "world" target)
24 FORMATS = $(AVAILABLE_FORMATS)
25 AVAILABLE_FORMATS = dvi ps ps.gz pdf
26
27 ########################################################################
28
29 ADVI = advi
30 BIBTEX = bibtex
31 BROWSER = galeon
32 DVIPDF = dvipdf
33 DVIPS = dvips
34 GV = gv
35 GZIP = gzip
36 HEVEA = hevea
37 ISPELL = ispell
38 LATEX = latex
39 XDVI = xdvi
40
41 ALL_FORMATS = $(FORMATS)
42 WORLD_FORMATS = $(AVAILABLE_FORMATS)
43
44 all: $(ALL_FORMATS)
45 world: $(WORLD_FORMATS)
46
47 DVIS = $(TEXS:.tex=.dvi)
48 PSS = $(TEXS:.tex=.ps)
49 PSGZS = $(TEXS:.tex=.ps.gz)
50 PDFS = $(TEXS:.tex=.pdf)
51 HTMLS = $(TEXS:.tex=.html)
52
53 dvi: $(DVIS)
54 ps: $(PSS)
55 ps.gz: $(PSGZS)
56 pdf: $(PDFS)
57 html: $(HTMLS)
58
59 show: showps
60 showdvi: $(DVIS)
61         $(XDVI) $<
62 showps: $(PSS)
63         $(GV) $<
64 showpdf: $(PDFS)
65         $(GV) $<
66 showpsgz: $(PSGZS)
67         $(GV) $<
68 showhtml: $(HTMLS)
69         $(BROWSER) $<
70
71 clean:
72         rm -f \
73                 $(TEXS:.tex=.dvi) $(TEXS:.tex=.ps) $(TEXS:.tex=.ps.gz) \
74                 $(TEXS:.tex=.pdf) $(TEXS:.tex=.aux) $(TEXS:.tex=.log) \
75                 $(TEXS:.tex=.html)
76
77 %.dvi: %.tex
78         $(LATEX) $<
79         if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
80         if [ "$(RUNS)" -gt 1 ]; then \
81                 for i in seq 1 `expr $(RUNS) - 1`; do \
82                         $(LATEX) $<; \
83                 done; \
84         fi
85 %.ps: %.dvi
86         $(DVIPS) -o $@ $<
87 %.ps.gz: %.ps
88         $(GZIP) -c $< > $@
89 %.pdf: %.dvi
90         $(DVIPDF) $< $@
91 %.html: %.tex
92         $(HEVEA) $<
93
94 .PHONY: all ps pdf html clean
95