| author | wenzelm |
| Sun, 18 Sep 2011 20:26:08 +0200 | |
| changeset 44980 | ad5883642a83 |
| parent 42637 | 381fdcab0f36 |
| permissions | -rw-r--r-- |
| 6595 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: dvi |
|
|
6121
5fe77b9b5185
the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff
changeset
|
5 |
|
|
5fe77b9b5185
the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff
changeset
|
6 |
|
| 6595 | 7 |
## dependencies |
8 |
||
9 |
include ../Makefile.in |
|
10 |
||
11 |
NAME = logics-ZF |
|
| 26913 | 12 |
FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \ |
| 42622 | 13 |
../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \ |
| 42511 | 14 |
../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib |
| 6595 | 15 |
|
16 |
dvi: $(NAME).dvi |
|
|
6121
5fe77b9b5185
the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff
changeset
|
17 |
|
| 6595 | 18 |
$(NAME).dvi: $(FILES) isabelle_zf.eps |
19 |
$(LATEX) $(NAME) |
|
20 |
$(BIBTEX) $(NAME) |
|
21 |
$(LATEX) $(NAME) |
|
22 |
$(LATEX) $(NAME) |
|
23 |
$(SEDINDEX) $(NAME) |
|
24 |
$(LATEX) $(NAME) |
|
| 6623 | 25 |
|
26 |
pdf: $(NAME).pdf |
|
27 |
||
28 |
$(NAME).pdf: $(FILES) isabelle_zf.pdf |
|
29 |
$(PDFLATEX) $(NAME) |
|
30 |
$(BIBTEX) $(NAME) |
|
31 |
$(PDFLATEX) $(NAME) |
|
32 |
$(PDFLATEX) $(NAME) |
|
33 |
$(SEDINDEX) $(NAME) |
|
34 |
$(FIXBOOKMARKS) $(NAME).out |
|
35 |
$(PDFLATEX) $(NAME) |