equal
deleted
inserted
replaced
10 |
10 |
11 include ../../../Makefile.in |
11 include ../../../Makefile.in |
12 |
12 |
13 dvi: ../../isar-overview.dvi |
13 dvi: ../../isar-overview.dvi |
14 |
14 |
15 ../../isar-overview.dvi: root.dvi |
15 ../../isar-overview.dvi: *.tex *.sty *.bib |
16 mv root.dvi ../../isar-overview.dvi |
|
17 |
|
18 root.dvi: *.tex *.sty *.bib |
|
19 $(LATEX) root |
16 $(LATEX) root |
20 $(BIBTEX) root |
17 $(BIBTEX) root |
21 $(LATEX) root |
18 $(LATEX) root |
22 $(LATEX) root |
19 $(LATEX) root |
|
20 mv root.dvi ../../isar-overview.dvi |
23 |
21 |
24 pdf: ../../isar-overview.pdf |
22 pdf: ../../isar-overview.pdf |
25 |
23 |
26 ../../isar-overview.pdf: root.pdf |
24 ../../isar-overview.pdf: *.tex *.sty *.bib |
27 mv root.pdf ../../isar-overview.pdf |
|
28 |
|
29 root.pdf: *.tex *.sty *.bib |
|
30 $(PDFLATEX) root |
25 $(PDFLATEX) root |
31 $(BIBTEX) root |
26 $(BIBTEX) root |
32 $(PDFLATEX) root |
27 $(PDFLATEX) root |
33 $(PDFLATEX) root |
28 $(PDFLATEX) root |
|
29 mv root.pdf ../../isar-overview.pdf |