equal
deleted
inserted
replaced
8 |
8 |
9 FILES = intro.tex foundations.tex getting.tex advanced.tex \ |
9 FILES = intro.tex foundations.tex getting.tex advanced.tex \ |
10 ../proof.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 @ln -sf ../isabelle.eps . |
13 -rm intro.dvi* |
14 -rm intro.dvi* |
14 latex intro |
15 latex intro |
15 bibtex intro |
16 bibtex intro |
16 latex intro |
17 latex intro |
17 latex intro |
18 latex intro |
18 ../sedindex intro |
19 ../sedindex intro |
19 latex intro |
20 latex intro |
20 gzip -f intro.dvi |
21 gzip -f intro.dvi |
21 |
22 |
22 dist: $(FILES) |
23 dist: $(FILES) |
|
24 @ln -sf ../isabelle.eps . |
23 -rm intro.dvi* |
25 -rm intro.dvi* |
24 latex intro |
26 latex intro |
25 latex intro |
27 latex intro |
26 ../sedindex intro |
28 ../sedindex intro |
27 latex intro |
29 latex intro |