equal
deleted
inserted
replaced
7 |
7 |
8 |
8 |
9 FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\ |
9 FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\ |
10 thm.tex theories.tex defining.tex syntax.tex substitution.tex\ |
10 thm.tex theories.tex defining.tex syntax.tex substitution.tex\ |
11 simplifier.tex classical.tex theory-syntax.tex\ |
11 simplifier.tex classical.tex theory-syntax.tex\ |
12 ../iman.sty ../extra.sty |
12 ../proof209.sty ../iman.sty ../extra.sty |
13 |
13 |
14 ref.dvi.gz: $(FILES) |
14 ref.dvi.gz: $(FILES) |
15 -rm ref.dvi.gz |
15 -rm ref.dvi* |
16 latex209 ref |
16 latex209 ref |
17 rail ref |
17 rail ref |
18 bibtex ref |
18 bibtex ref |
19 latex209 ref |
19 latex209 ref |
20 latex209 ref |
20 latex209 ref |
21 ../sedindex ref |
21 ../sedindex ref |
22 latex209 ref |
22 latex209 ref |
23 gzip -f ref.dvi |
23 gzip -f ref.dvi |
|
24 |
|
25 dist: $(FILES) |
|
26 -rm ref.dvi* |
|
27 latex209 ref |
|
28 latex209 ref |
|
29 ../sedindex ref |
|
30 latex209 ref |