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