author | wenzelm |
Mon, 15 Sep 2008 19:42:22 +0200 | |
changeset 28221 | ca9fdab0f971 |
parent 28215 | a1cfc43ac47d |
child 28224 | 10487d954a8f |
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 |
|
28221 | 15 |
FILES = system.tex Thy/document/Basics.tex misc.tex \ |
16 |
Thy/document/Presentation.tex symbols.tex ../iman.sty \ |
|
17 |
../extra.sty ../ttbox.sty ../manual.bib |
|
3170 | 18 |
|
10604 | 19 |
OUTPUT = syms.tex |
20 |
||
27631
b9ec32fb5f63
use ../isabellesym.sty, which is always available;
wenzelm
parents:
12464
diff
changeset
|
21 |
syms.tex: showsymbols ../isabellesym.sty |
b9ec32fb5f63
use ../isabellesym.sty, which is always available;
wenzelm
parents:
12464
diff
changeset
|
22 |
@./showsymbols <../isabellesym.sty >syms.tex |
10580 | 23 |
|
6600 | 24 |
dvi: $(NAME).dvi |
3170 | 25 |
|
10580 | 26 |
$(NAME).dvi: $(FILES) isabelle.eps syms.tex |
6600 | 27 |
$(LATEX) $(NAME) |
7207 | 28 |
$(BIBTEX) $(NAME) |
29 |
$(LATEX) $(NAME) |
|
6600 | 30 |
$(LATEX) $(NAME) |
31 |
$(SEDINDEX) $(NAME) |
|
32 |
$(LATEX) $(NAME) |
|
6623 | 33 |
|
34 |
pdf: $(NAME).pdf |
|
35 |
||
10580 | 36 |
$(NAME).pdf: $(FILES) isabelle.pdf syms.tex |
6623 | 37 |
$(PDFLATEX) $(NAME) |
7207 | 38 |
$(BIBTEX) $(NAME) |
39 |
$(PDFLATEX) $(NAME) |
|
6623 | 40 |
$(PDFLATEX) $(NAME) |
41 |
$(SEDINDEX) $(NAME) |
|
42 |
$(PDFLATEX) $(NAME) |