equal
deleted
inserted
replaced
|
1 # $Id$ |
|
2 ######################################################################### |
|
3 # # |
|
4 # Makefile for the report "Isabelle's Logics: FOL and ZF" # |
|
5 # # |
|
6 ######################################################################### |
|
7 |
|
8 |
|
9 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\ |
|
10 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
|
11 |
|
12 logics-ZF.dvi.gz: $(FILES) |
|
13 test -r isabelle.eps || ln -s ../gfx/isabelle.eps . |
|
14 -rm logics-ZF.dvi* |
|
15 latex logics-ZF |
|
16 rail logics-ZF |
|
17 bibtex logics-ZF |
|
18 latex logics-ZF |
|
19 latex logics-ZF |
|
20 ../sedindex logics-ZF |
|
21 latex logics-ZF |
|
22 gzip -f logics-ZF.dvi |
|
23 |
|
24 dist: $(FILES) |
|
25 test -r isabelle.eps || ln -s ../gfx/isabelle.eps . |
|
26 -rm logics-ZF.dvi* |
|
27 latex logics-ZF |
|
28 latex logics-ZF |
|
29 ../sedindex logics-ZF |
|
30 latex logics-ZF |
|
31 |
|
32 clean: |
|
33 @rm *.aux *.log *.toc *.idx *.rai |
|
34 |