equal
deleted
inserted
replaced
3 # # |
3 # # |
4 # Makefile for the report "A Fixedpoint Approach ..." # |
4 # Makefile for the report "A Fixedpoint Approach ..." # |
5 # # |
5 # # |
6 ######################################################################### |
6 ######################################################################### |
7 |
7 |
|
8 dvi: dist |
|
9 |
|
10 pdf: |
8 |
11 |
9 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty |
12 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty |
10 |
13 |
11 ind-defs.dvi.gz: $(FILES) |
14 ind-defs.dvi.gz: $(FILES) |
12 -rm ind-defs.dvi.gz |
15 -rm ind-defs.dvi.gz |