| author | haftmann |
| Tue, 31 Aug 2010 13:15:35 +0200 | |
| changeset 38922 | ec2a8efd8990 |
| parent 26913 | 67040326ab7a |
| child 42511 | bf89455ccf9d |
| permissions | -rw-r--r-- |
| 6595 | 1 |
# |
2 |
# $Id$ |
|
3 |
# |
|
4 |
||
5 |
## targets |
|
6 |
||
7 |
default: dvi |
|
|
6121
5fe77b9b5185
the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff
changeset
|
8 |
|
|
5fe77b9b5185
the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff
changeset
|
9 |
|
| 6595 | 10 |
## dependencies |
11 |
||
12 |
include ../Makefile.in |
|
13 |
||
14 |
NAME = logics-ZF |
|
| 26913 | 15 |
FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \ |
16 |
../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \ |
|
17 |
../isabelle.sty ../isabellesym.sty ../pdfsetup.sty ../manual.bib |
|
| 6595 | 18 |
|
19 |
dvi: $(NAME).dvi |
|
|
6121
5fe77b9b5185
the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff
changeset
|
20 |
|
| 6595 | 21 |
$(NAME).dvi: $(FILES) isabelle_zf.eps |
22 |
$(LATEX) $(NAME) |
|
23 |
$(RAIL) $(NAME) |
|
24 |
$(BIBTEX) $(NAME) |
|
25 |
$(LATEX) $(NAME) |
|
26 |
$(LATEX) $(NAME) |
|
27 |
$(SEDINDEX) $(NAME) |
|
28 |
$(LATEX) $(NAME) |
|
| 6623 | 29 |
|
30 |
pdf: $(NAME).pdf |
|
31 |
||
32 |
$(NAME).pdf: $(FILES) isabelle_zf.pdf |
|
33 |
$(PDFLATEX) $(NAME) |
|
34 |
$(RAIL) $(NAME) |
|
35 |
$(BIBTEX) $(NAME) |
|
36 |
$(PDFLATEX) $(NAME) |
|
37 |
$(PDFLATEX) $(NAME) |
|
38 |
$(SEDINDEX) $(NAME) |
|
39 |
$(FIXBOOKMARKS) $(NAME).out |
|
40 |
$(PDFLATEX) $(NAME) |