6593
|
1 |
#
|
|
2 |
# $Id$
|
|
3 |
#
|
|
4 |
# Common part for Doc Makefiles
|
|
5 |
#
|
|
6 |
|
|
7 |
## settings
|
|
8 |
|
|
9 |
LATEX = latex
|
6612
|
10 |
PDFLATEX = pdflatex
|
6593
|
11 |
BIBTEX = bibtex
|
7071
|
12 |
RAIL = rail -a
|
6593
|
13 |
SEDINDEX = ../sedindex
|
6612
|
14 |
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
|
6593
|
15 |
|
28954
|
16 |
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
|
10604
|
17 |
DEFAULT_OUTPUT = *.dvi *.pdf *.ps
|
|
18 |
GARBAGE =
|
|
19 |
OUTPUT =
|
6593
|
20 |
|
15646
|
21 |
## special targets
|
|
22 |
|
|
23 |
.DELETE_ON_ERROR:
|
6593
|
24 |
|
|
25 |
## actions
|
|
26 |
|
|
27 |
nothing:
|
|
28 |
|
|
29 |
clean:
|
10604
|
30 |
@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
|
6593
|
31 |
|
6604
|
32 |
mrproper:
|
10604
|
33 |
@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
|
6593
|
34 |
|
7042
|
35 |
|
6593
|
36 |
isabelle.eps:
|
6612
|
37 |
test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
|
6593
|
38 |
|
7042
|
39 |
isabelle_isar.eps:
|
|
40 |
test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
|
|
41 |
|
6593
|
42 |
isabelle_hol.eps:
|
6612
|
43 |
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
|
6593
|
44 |
|
|
45 |
isabelle_zf.eps:
|
6612
|
46 |
test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
|
|
47 |
|
33191
|
48 |
isabelle_nitpick.eps:
|
|
49 |
test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
|
|
50 |
|
36926
|
51 |
isabelle_sledgehammer.eps:
|
|
52 |
test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
|
|
53 |
|
7042
|
54 |
|
6617
|
55 |
isabelle.pdf:
|
|
56 |
test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
|
6612
|
57 |
|
7042
|
58 |
isabelle_isar.pdf:
|
|
59 |
test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
|
|
60 |
|
6617
|
61 |
isabelle_hol.pdf:
|
|
62 |
test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
|
6612
|
63 |
|
6617
|
64 |
isabelle_zf.pdf:
|
|
65 |
test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
|
12677
|
66 |
|
33191
|
67 |
isabelle_nitpick.pdf:
|
|
68 |
test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
|
|
69 |
|
36926
|
70 |
isabelle_sledgehammer.pdf:
|
|
71 |
test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
|
|
72 |
|
12677
|
73 |
typedef.ps:
|
|
74 |
test -r typedef.ps || ln -s ../gfx/typedef.ps .
|
|
75 |
|
|
76 |
typedef.pdf:
|
|
77 |
test -r typedef.pdf || ln -s ../gfx/typedef.pdf .
|