author | blanchet |
Fri, 27 May 2011 10:30:08 +0200 | |
changeset 43036 | 0ef380310863 |
parent 42628 | 50f257ea2aba |
permissions | -rw-r--r-- |
6594 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: dvi |
|
6580 | 5 |
|
6 |
||
6594 | 7 |
## dependencies |
8 |
||
9 |
include ../Makefile.in |
|
10 |
||
11 |
NAME = logics-HOL |
|
12 |
FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \ |
|
42628
50f257ea2aba
removed obsolete rail diagrams (which were about old-style theory syntax);
wenzelm
parents:
42518
diff
changeset
|
13 |
../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
42518
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
9695
diff
changeset
|
14 |
|
6594 | 15 |
dvi: $(NAME).dvi |
6580 | 16 |
|
6594 | 17 |
$(NAME).dvi: $(FILES) isabelle_hol.eps |
18 |
$(LATEX) $(NAME) |
|
19 |
$(BIBTEX) $(NAME) |
|
20 |
$(LATEX) $(NAME) |
|
21 |
$(LATEX) $(NAME) |
|
22 |
$(SEDINDEX) $(NAME) |
|
23 |
$(LATEX) $(NAME) |
|
6620 | 24 |
|
25 |
pdf: $(NAME).pdf |
|
26 |
||
27 |
$(NAME).pdf: $(FILES) isabelle_hol.pdf |
|
28 |
$(PDFLATEX) $(NAME) |
|
29 |
$(BIBTEX) $(NAME) |
|
30 |
$(PDFLATEX) $(NAME) |
|
31 |
$(PDFLATEX) $(NAME) |
|
32 |
$(SEDINDEX) $(NAME) |
|
33 |
$(FIXBOOKMARKS) $(NAME).out |
|
34 |
$(PDFLATEX) $(NAME) |