changeset 602 | 9cb1fa628dbb |
child 1053 | a19fbe807f91 |
601:208834a9ba70 | 602:9cb1fa628dbb |
---|---|
1 # $Id$ |
|
2 ######################################################################### |
|
3 # # |
|
4 # Makefile for the report "A Fixedpoint Approach ..." # |
|
5 # # |
|
6 ######################################################################### |
|
7 |
|
8 |
|
9 FILES = ind-defs.tex iman.sty extra.sty |
|
10 |
|
11 ind-defs.dvi.gz: $(FILES) |
|
12 latex209 ind-defs |
|
13 bibtex ind-defs |
|
14 latex209 ind-defs |
|
15 latex209 ind-defs |
|
16 gzip -f ind-defs.dvi |