changeset 47333 | 8204b1023537 |
parent 47332 | 360e080fd13e |
child 47334 | 4708384e759d |
47332:360e080fd13e | 47333:8204b1023537 |
---|---|
1 |
|
2 ## targets |
|
3 |
|
4 default: dvi |
|
5 |
|
6 ## dependencies |
|
7 |
|
8 include ../../../Makefile.in |
|
9 |
|
10 dvi: ../../isar-overview.dvi |
|
11 |
|
12 ../../isar-overview.dvi: *.tex *.bib |
|
13 $(LATEX) root |
|
14 $(BIBTEX) root |
|
15 $(LATEX) root |
|
16 $(LATEX) root |
|
17 mv root.dvi ../../isar-overview.dvi |
|
18 |
|
19 pdf: ../../isar-overview.pdf |
|
20 |
|
21 ../../isar-overview.pdf: *.tex *.bib |
|
22 $(PDFLATEX) root |
|
23 $(BIBTEX) root |
|
24 $(PDFLATEX) root |
|
25 $(PDFLATEX) root |
|
26 mv root.pdf ../../isar-overview.pdf |