author | wenzelm |
Thu, 15 May 2008 20:14:10 +0200 | |
changeset 26913 | 67040326ab7a |
parent 15896 | 8d61562244d5 |
child 42637 | 381fdcab0f36 |
permissions | -rw-r--r-- |
# # $Id$ # ## 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