author | haftmann |
Wed, 18 Feb 2009 19:18:32 +0100 | |
changeset 29970 | cbf46080ea3a |
parent 28838 | d5db6dfcb34a |
child 32088 | 2110fcd86efb |
permissions | -rw-r--r-- |
6600 | 1 |
# |
2 |
# $Id$ |
|
3 |
# |
|
4 |
||
5 |
## targets |
|
6 |
||
7 |
default: dvi |
|
3170 | 8 |
|
9 |
||
6600 | 10 |
## dependencies |
11 |
||
12 |
include ../Makefile.in |
|
13 |
||
14 |
NAME = system |
|
28226 | 15 |
FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex \ |
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28226
diff
changeset
|
16 |
Thy/document/Presentation.tex ../iman.sty ../extra.sty \ |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28226
diff
changeset
|
17 |
../ttbox.sty ../manual.bib |
10580 | 18 |
|
6600 | 19 |
dvi: $(NAME).dvi |
3170 | 20 |
|
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28226
diff
changeset
|
21 |
$(NAME).dvi: $(FILES) isabelle.eps |
6600 | 22 |
$(LATEX) $(NAME) |
7207 | 23 |
$(BIBTEX) $(NAME) |
24 |
$(LATEX) $(NAME) |
|
6600 | 25 |
$(LATEX) $(NAME) |
26 |
$(SEDINDEX) $(NAME) |
|
27 |
$(LATEX) $(NAME) |
|
6623 | 28 |
|
29 |
pdf: $(NAME).pdf |
|
30 |
||
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28226
diff
changeset
|
31 |
$(NAME).pdf: $(FILES) isabelle.pdf |
6623 | 32 |
$(PDFLATEX) $(NAME) |
7207 | 33 |
$(BIBTEX) $(NAME) |
34 |
$(PDFLATEX) $(NAME) |
|
6623 | 35 |
$(PDFLATEX) $(NAME) |
36 |
$(SEDINDEX) $(NAME) |
|
37 |
$(PDFLATEX) $(NAME) |