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