equal
deleted
inserted
replaced
5 # # |
5 # # |
6 ######################################################################### |
6 ######################################################################### |
7 |
7 |
8 |
8 |
9 FILES = intro.tex foundations.tex getting.tex advanced.tex \ |
9 FILES = intro.tex foundations.tex getting.tex advanced.tex \ |
10 ../proof209.sty ../iman.sty ../extra.sty |
10 ../proof.sty ../iman.sty ../extra.sty |
11 |
11 |
12 intro.dvi.gz: $(FILES) |
12 intro.dvi.gz: $(FILES) |
13 -rm intro.dvi* |
13 -rm intro.dvi* |
14 latex209 intro |
14 latex intro |
15 bibtex intro |
15 bibtex intro |
16 latex209 intro |
16 latex intro |
17 latex209 intro |
17 latex intro |
18 ../sedindex intro |
18 ../sedindex intro |
19 latex209 intro |
19 latex intro |
20 gzip -f intro.dvi |
20 gzip -f intro.dvi |
21 |
21 |
22 dist: $(FILES) |
22 dist: $(FILES) |
23 -rm intro.dvi* |
23 -rm intro.dvi* |
24 latex209 intro |
24 latex intro |
25 latex209 intro |
25 latex intro |
26 ../sedindex intro |
26 ../sedindex intro |
27 latex209 intro |
27 latex intro |