equal
deleted
inserted
replaced
1 # $Id$ |
1 # |
2 ######################################################################### |
2 # $Id$ |
3 # # |
3 # |
4 # Makefile for the report "A Fixedpoint Approach ..." # |
|
5 # # |
|
6 ######################################################################### |
|
7 |
4 |
8 dvi: dist |
5 ## targets |
9 |
6 |
10 pdf: |
7 default: dvi |
11 |
8 |
12 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty |
|
13 |
9 |
14 ind-defs.dvi.gz: $(FILES) |
10 ## dependencies |
15 -rm ind-defs.dvi.gz |
|
16 latex ind-defs |
|
17 bibtex ind-defs |
|
18 latex ind-defs |
|
19 latex ind-defs |
|
20 gzip -f ind-defs.dvi |
|
21 |
11 |
22 dist: $(FILES) |
12 include ../Makefile.in |
23 -rm ind-defs.dvi* |
|
24 latex ind-defs |
|
25 latex ind-defs |
|
26 |
13 |
27 clean: |
14 NAME = ind-defs |
28 @rm *.aux *.log *.toc |
15 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty |
29 |
16 |
|
17 dvi: $(NAME).dvi |
|
18 |
|
19 $(NAME).dvi: $(FILES) |
|
20 $(LATEX) $(NAME) |
|
21 $(BIBTEX) $(NAME) |
|
22 $(LATEX) $(NAME) |
|
23 $(LATEX) $(NAME) |
|
24 |
|
25 pdf: $(NAME).pdf |
|
26 |
|
27 $(NAME).pdf: $(FILES) |
|
28 $(PDFLATEX) $(NAME) |
|
29 $(BIBTEX) $(NAME) |
|
30 $(PDFLATEX) $(NAME) |
|
31 $(PDFLATEX) $(NAME) |
|
32 $(FIXBOOKMARKS) $(NAME).out |
|
33 $(PDFLATEX) $(NAME) |