equal
deleted
inserted
replaced
|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 |
|
5 ## targets |
|
6 |
|
7 default: dvi |
|
8 |
|
9 ## dependencies |
|
10 |
|
11 include ../../../Makefile.in |
|
12 |
|
13 dvi: ../../isar-overview.dvi |
|
14 |
|
15 ../../isar-overview.dvi: root.dvi |
|
16 cp root.dvi ../../isar-overview.dvi |
|
17 |
|
18 root.dvi: *.tex *.sty *.bib |
|
19 $(LATEX) root |
|
20 $(BIBTEX) root |
|
21 $(LATEX) root |
|
22 $(LATEX) root |
|
23 |
|
24 pdf: ../../isar-overview.pdf |
|
25 |
|
26 ../../isar-overview.pdf: root.pdf |
|
27 cp root.pdf ../../isar-overview.pdf |
|
28 |
|
29 root.pdf: *.tex *.sty *.bib |
|
30 $(PDFLATEX) root |
|
31 $(BIBTEX) root |
|
32 $(PDFLATEX) root |
|
33 $(PDFLATEX) root |