author | wenzelm |
Mon, 02 May 2011 22:31:46 +0200 | |
changeset 42637 | 381fdcab0f36 |
parent 26913 | 67040326ab7a |
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