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