| author | haftmann |
| Wed, 10 Feb 2010 15:14:06 +0100 | |
| changeset 35096 | f36965a1fd42 |
| parent 30184 | 37969710e61f |
| child 42934 | 287182c2f23a |
| permissions | -rw-r--r-- |
| 6600 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: dvi |
|
| 604 | 5 |
|
6 |
||
| 6600 | 7 |
## dependencies |
8 |
||
9 |
include ../Makefile.in |
|
10 |
||
11 |
NAME = ref |
|
|
30184
37969710e61f
removed parts of the manual that are clearly obsolete, or covered by
wenzelm
parents:
9695
diff
changeset
|
12 |
FILES = ref.tex introduction.tex tactic.tex tctical.tex thm.tex \ |
|
37969710e61f
removed parts of the manual that are clearly obsolete, or covered by
wenzelm
parents:
9695
diff
changeset
|
13 |
theories.tex defining.tex syntax.tex substitution.tex \ |
|
37969710e61f
removed parts of the manual that are clearly obsolete, or covered by
wenzelm
parents:
9695
diff
changeset
|
14 |
simplifier.tex classical.tex ../proof.sty ../iman.sty \ |
|
37969710e61f
removed parts of the manual that are clearly obsolete, or covered by
wenzelm
parents:
9695
diff
changeset
|
15 |
../extra.sty ../ttbox.sty ../manual.bib |
| 604 | 16 |
|
| 6600 | 17 |
dvi: $(NAME).dvi |
| 2657 | 18 |
|
| 6600 | 19 |
$(NAME).dvi: $(FILES) isabelle.eps |
20 |
$(LATEX) $(NAME) |
|
21 |
$(BIBTEX) $(NAME) |
|
22 |
$(LATEX) $(NAME) |
|
23 |
$(LATEX) $(NAME) |
|
24 |
$(SEDINDEX) $(NAME) |
|
25 |
$(LATEX) $(NAME) |
|
| 6618 | 26 |
|
27 |
pdf: $(NAME).pdf |
|
28 |
||
29 |
$(NAME).pdf: $(FILES) isabelle.pdf |
|
30 |
$(PDFLATEX) $(NAME) |
|
31 |
$(BIBTEX) $(NAME) |
|
32 |
$(PDFLATEX) $(NAME) |
|
33 |
$(PDFLATEX) $(NAME) |
|
34 |
$(SEDINDEX) $(NAME) |
|
35 |
$(FIXBOOKMARKS) $(NAME).out |
|
36 |
$(PDFLATEX) $(NAME) |