author | wenzelm |
Sun, 09 Oct 2011 16:47:58 +0200 | |
changeset 45107 | 76fef3e57004 |
parent 42637 | 381fdcab0f36 |
permissions | -rw-r--r-- |
## targets default: dvi ## dependencies include ../../../Makefile.in dvi: ../../isar-overview.dvi ../../isar-overview.dvi: *.tex *.bib $(LATEX) root $(BIBTEX) root $(LATEX) root $(LATEX) root mv root.dvi ../../isar-overview.dvi pdf: ../../isar-overview.pdf ../../isar-overview.pdf: *.tex *.bib $(PDFLATEX) root $(BIBTEX) root $(PDFLATEX) root $(PDFLATEX) root mv root.pdf ../../isar-overview.pdf