| author | nipkow |
| Wed, 04 Apr 2012 09:59:49 +0200 | |
| changeset 47494 | 8c8f27864ed1 |
| parent 46293 | f248b5f2783a |
| 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 |
|
| 46293 | 12 |
FILES = ref.tex tactic.tex thm.tex syntax.tex \ |
|
42935
e68c3861b8db
removed odd remains of low-level session management;
wenzelm
parents:
42934
diff
changeset
|
13 |
substitution.tex simplifier.tex classical.tex ../proof.sty \ |
|
e68c3861b8db
removed odd remains of low-level session management;
wenzelm
parents:
42934
diff
changeset
|
14 |
../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
| 604 | 15 |
|
| 6600 | 16 |
dvi: $(NAME).dvi |
| 2657 | 17 |
|
| 6600 | 18 |
$(NAME).dvi: $(FILES) isabelle.eps |
19 |
$(LATEX) $(NAME) |
|
20 |
$(BIBTEX) $(NAME) |
|
21 |
$(LATEX) $(NAME) |
|
22 |
$(LATEX) $(NAME) |
|
23 |
$(SEDINDEX) $(NAME) |
|
24 |
$(LATEX) $(NAME) |
|
| 6618 | 25 |
|
26 |
pdf: $(NAME).pdf |
|
27 |
||
28 |
$(NAME).pdf: $(FILES) isabelle.pdf |
|
29 |
$(PDFLATEX) $(NAME) |
|
30 |
$(BIBTEX) $(NAME) |
|
31 |
$(PDFLATEX) $(NAME) |
|
32 |
$(PDFLATEX) $(NAME) |
|
33 |
$(SEDINDEX) $(NAME) |
|
34 |
$(FIXBOOKMARKS) $(NAME).out |
|
35 |
$(PDFLATEX) $(NAME) |