| author | wenzelm |
| Wed, 05 May 1999 18:19:03 +0200 | |
| changeset 6597 | 56ff27255ac8 |
| parent 6585 | d5eae11efa42 |
| child 6598 | c1d7791f0314 |
| permissions | -rw-r--r-- |
| 6597 | 1 |
# |
2 |
# $Id$ |
|
3 |
# |
|
4 |
||
5 |
## targets |
|
6 |
||
7 |
default: dvi |
|
8 |
dist: dvi |
|
| 605 | 9 |
|
10 |
||
| 6597 | 11 |
## dependencies |
12 |
||
13 |
include ../Makefile.in |
|
14 |
||
15 |
NAME = logics |
|
16 |
FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \ |
|
17 |
../proof.sty ../iman.sty ../extra.sty |
|
| 605 | 18 |
|
| 6597 | 19 |
dvi: $(NAME).dvi |
| 2661 | 20 |
|
| 6597 | 21 |
$(NAME).dvi: $(FILES) isabelle_hol.eps |
22 |
touch $(NAME).ind |
|
23 |
$(LATEX) $(NAME) |
|
24 |
$(BIBTEX) $(NAME) |
|
25 |
$(LATEX) $(NAME) |
|
26 |
$(LATEX) $(NAME) |
|
27 |
$(SEDINDEX) $(NAME) |
|
28 |
$(LATEX) $(NAME) |