| changeset 3162 | 78fa85d44e68 |
| child 3165 | 80818995eb76 |
| 3161:d2c6f15f38f4 | 3162:78fa85d44e68 |
|---|---|
1 # $Id$ |
|
2 ######################################################################### |
|
3 # # |
|
4 # Makefile for the report "A Fixedpoint Approach ..." # |
|
5 # # |
|
6 ######################################################################### |
|
7 |
|
8 |
|
9 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty |
|
10 |
|
11 ind-defs.dvi.gz: $(FILES) |
|
12 -rm ind-defs.dvi.gz |
|
13 latex209 ind-defs |
|
14 bibtex ind-defs |
|
15 latex209 ind-defs |
|
16 latex209 ind-defs |
|
17 gzip -f ind-defs.dvi |