| author | haftmann |
| Thu, 25 Sep 2008 09:28:08 +0200 | |
| changeset 28350 | 715163ec93c0 |
| parent 28226 | 97c530dc8aca |
| child 28838 | d5db6dfcb34a |
| 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 \ |
16 |
Thy/document/Presentation.tex Thy/document/Symbols.tex \ |
|
17 |
../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
|
| 10604 | 18 |
OUTPUT = syms.tex |
19 |
||
|
27631
b9ec32fb5f63
use ../isabellesym.sty, which is always available;
wenzelm
parents:
12464
diff
changeset
|
20 |
syms.tex: showsymbols ../isabellesym.sty |
|
b9ec32fb5f63
use ../isabellesym.sty, which is always available;
wenzelm
parents:
12464
diff
changeset
|
21 |
@./showsymbols <../isabellesym.sty >syms.tex |
| 10580 | 22 |
|
| 6600 | 23 |
dvi: $(NAME).dvi |
| 3170 | 24 |
|
| 10580 | 25 |
$(NAME).dvi: $(FILES) isabelle.eps syms.tex |
| 6600 | 26 |
$(LATEX) $(NAME) |
| 7207 | 27 |
$(BIBTEX) $(NAME) |
28 |
$(LATEX) $(NAME) |
|
| 6600 | 29 |
$(LATEX) $(NAME) |
30 |
$(SEDINDEX) $(NAME) |
|
31 |
$(LATEX) $(NAME) |
|
| 6623 | 32 |
|
33 |
pdf: $(NAME).pdf |
|
34 |
||
| 10580 | 35 |
$(NAME).pdf: $(FILES) isabelle.pdf syms.tex |
| 6623 | 36 |
$(PDFLATEX) $(NAME) |
| 7207 | 37 |
$(BIBTEX) $(NAME) |
38 |
$(PDFLATEX) $(NAME) |
|
| 6623 | 39 |
$(PDFLATEX) $(NAME) |
40 |
$(SEDINDEX) $(NAME) |
|
41 |
$(PDFLATEX) $(NAME) |