]> matita.cs.unibo.it Git - helm.git/blob - components/tactics/doc/Makefile
Debugging code is now controlled by the debug flag.
[helm.git] / components / tactics / doc / 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: Mon, 10 Oct 2005 15:37:12 +0200 zack
9 #
10
11 ########################################################################
12
13 # list of .tex _main_ files
14 TEXS = main.tex
15
16 # number of runs of latex (for table of contents, list of figures, ...)
17 RUNS = 1
18
19 # do you need bibtex?
20 BIBTEX = no
21
22 # would you like to use pdflatex?
23 PDF_VIA_PDFLATEX = yes
24
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
29
30 # which format to be shown on "make show"
31 SHOW_FORMAT = dvi
32
33 ########################################################################
34
35 AVAILABLE_FORMATS = dvi ps ps.gz pdf html
36
37 ADVI = advi
38 BIBTEX = bibtex
39 BROWSER = galeon
40 DVIPDF = dvipdf
41 DVIPS = dvips
42 GV = gv
43 GZIP = gzip
44 HEVEA = hevea
45 ISPELL = ispell
46 LATEX = latex
47 PDFLATEX = pdflatex
48 PRINT = lpr
49 XDVI = xdvi
50 XPDF = xpdf
51
52 ALL_FORMATS = $(BUILD_FORMATS)
53 WORLD_FORMATS = $(AVAILABLE_FORMATS)
54
55 all: $(ALL_FORMATS)
56 world: $(WORLD_FORMATS)
57
58 DVIS = $(TEXS:.tex=.dvi)
59 PSS = $(TEXS:.tex=.ps)
60 PSGZS = $(TEXS:.tex=.ps.gz)
61 PDFS = $(TEXS:.tex=.pdf)
62 HTMLS = $(TEXS:.tex=.html)
63
64 dvi: $(DVIS)
65 ps: $(PSS)
66 ps.gz: $(PSGZS)
67 pdf: $(PDFS)
68 html: $(HTMLS)
69
70 show: show$(SHOW_FORMAT)
71 showdvi: $(DVIS)
72         $(XDVI) $<
73 showps: $(PSS)
74         $(GV) $<
75 showpdf: $(PDFS)
76         $(XPDF) $<
77 showpsgz: $(PSGZS)
78         $(GV) $<
79 showps.gz: showpsgz
80 showhtml: $(HTMLS)
81         $(BROWSER) $<
82
83 print: $(PSS)
84         $(PRINT) $^
85
86 clean:
87         rm -f \
88                 $(TEXS:.tex=.dvi) $(TEXS:.tex=.ps) $(TEXS:.tex=.ps.gz) \
89                 $(TEXS:.tex=.pdf) $(TEXS:.tex=.aux) $(TEXS:.tex=.log) \
90                 $(TEXS:.tex=.html) $(TEXS:.tex=.out) $(TEXS:.tex=.haux) \
91                 $(TEXS:.tex=.htoc) $(TEXS:.tex=.tmp)
92
93 %.dvi: %.tex
94         $(LATEX) $<
95         if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
96         if [ "$(RUNS)" -gt 1 ]; then \
97                 for i in seq 1 `expr $(RUNS) - 1`; do \
98                         $(LATEX) $<; \
99                 done; \
100         fi
101 ifeq ($(PDF_VIA_PDFLATEX),yes)
102 %.pdf: %.tex
103         $(PDFLATEX) $<
104         if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
105         if [ "$(RUNS)" -gt 1 ]; then \
106                 for i in seq 1 `expr $(RUNS) - 1`; do \
107                         $(PDFLATEX) $<; \
108                 done; \
109         fi
110 else
111 %.pdf: %.dvi
112         $(DVIPDF) $< $@
113 endif
114 %.ps: %.dvi
115         $(DVIPS) $<
116 %.ps.gz: %.ps
117         $(GZIP) -c $< > $@
118 %.html: %.tex
119         $(HEVEA) -fix $<
120
121 .PHONY: all ps pdf html clean
122
123 ########################################################################
124