equal
deleted
inserted
replaced
8 |
8 |
9 FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ |
9 FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ |
10 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
10 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
11 |
11 |
12 logics.dvi.gz: $(FILES) |
12 logics.dvi.gz: $(FILES) |
|
13 @ln -sf ../isabelle.eps . |
13 -rm logics.dvi* |
14 -rm logics.dvi* |
14 latex logics |
15 latex logics |
15 rail logics |
16 rail logics |
16 bibtex logics |
17 bibtex logics |
17 latex logics |
18 latex logics |
19 ../sedindex logics |
20 ../sedindex logics |
20 latex logics |
21 latex logics |
21 gzip -f logics.dvi |
22 gzip -f logics.dvi |
22 |
23 |
23 dist: $(FILES) |
24 dist: $(FILES) |
|
25 @ln -sf ../isabelle.eps . |
24 -rm logics.dvi* |
26 -rm logics.dvi* |
25 latex logics |
27 latex logics |
26 latex logics |
28 latex logics |
27 ../sedindex logics |
29 ../sedindex logics |
28 latex logics |
30 latex logics |