| author | wenzelm |
| Thu, 15 May 2008 20:14:10 +0200 | |
| changeset 26913 | 67040326ab7a |
| parent 15896 | 8d61562244d5 |
| child 43508 | 381fdcab0f36 |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
9 ## dependencies
11 include ../../../Makefile.in
13 dvi: ../../isar-overview.dvi
15 ../../isar-overview.dvi: *.tex *.bib
16 $(LATEX) root
17 $(BIBTEX) root
18 $(LATEX) root
19 $(LATEX) root
20 mv root.dvi ../../isar-overview.dvi
22 pdf: ../../isar-overview.pdf
24 ../../isar-overview.pdf: *.tex *.bib
25 $(PDFLATEX) root
26 $(BIBTEX) root
27 $(PDFLATEX) root
28 $(PDFLATEX) root
29 mv root.pdf ../../isar-overview.pdf