|
14003
|
1 |
|
|
|
2 |
## targets
|
|
|
3 |
|
|
|
4 |
default: dvi
|
|
|
5 |
|
|
|
6 |
## dependencies
|
|
|
7 |
|
|
|
8 |
include ../../../Makefile.in
|
|
|
9 |
|
|
|
10 |
dvi: ../../isar-overview.dvi
|
|
|
11 |
|
|
26913
|
12 |
../../isar-overview.dvi: *.tex *.bib
|
|
14003
|
13 |
$(LATEX) root
|
|
|
14 |
$(BIBTEX) root
|
|
|
15 |
$(LATEX) root
|
|
|
16 |
$(LATEX) root
|
|
15896
|
17 |
mv root.dvi ../../isar-overview.dvi
|
|
14003
|
18 |
|
|
|
19 |
pdf: ../../isar-overview.pdf
|
|
|
20 |
|
|
26913
|
21 |
../../isar-overview.pdf: *.tex *.bib
|
|
14003
|
22 |
$(PDFLATEX) root
|
|
|
23 |
$(BIBTEX) root
|
|
|
24 |
$(PDFLATEX) root
|
|
|
25 |
$(PDFLATEX) root
|
|
15896
|
26 |
mv root.pdf ../../isar-overview.pdf |