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: *.tex *.sty *.bib |
15 ../../isar-overview.dvi: *.tex *.bib |
16 $(LATEX) root |
16 $(LATEX) root |
17 $(BIBTEX) root |
17 $(BIBTEX) root |
18 $(LATEX) root |
18 $(LATEX) root |
19 $(LATEX) root |
19 $(LATEX) root |
20 mv root.dvi ../../isar-overview.dvi |
20 mv root.dvi ../../isar-overview.dvi |
21 |
21 |
22 pdf: ../../isar-overview.pdf |
22 pdf: ../../isar-overview.pdf |
23 |
23 |
24 ../../isar-overview.pdf: *.tex *.sty *.bib |
24 ../../isar-overview.pdf: *.tex *.bib |
25 $(PDFLATEX) root |
25 $(PDFLATEX) root |
26 $(BIBTEX) root |
26 $(BIBTEX) root |
27 $(PDFLATEX) root |
27 $(PDFLATEX) root |
28 $(PDFLATEX) root |
28 $(PDFLATEX) root |
29 mv root.pdf ../../isar-overview.pdf |
29 mv root.pdf ../../isar-overview.pdf |