--- a/doc-src/IsarOverview/Isar/document/Makefile Sat Apr 30 02:54:53 2005 +0200
+++ b/doc-src/IsarOverview/Isar/document/Makefile Sat Apr 30 03:51:50 2005 +0200
@@ -12,22 +12,18 @@
dvi: ../../isar-overview.dvi
-../../isar-overview.dvi: root.dvi
- mv root.dvi ../../isar-overview.dvi
-
-root.dvi: *.tex *.sty *.bib
+../../isar-overview.dvi: *.tex *.sty *.bib
$(LATEX) root
$(BIBTEX) root
$(LATEX) root
$(LATEX) root
+ mv root.dvi ../../isar-overview.dvi
pdf: ../../isar-overview.pdf
-../../isar-overview.pdf: root.pdf
- mv root.pdf ../../isar-overview.pdf
-
-root.pdf: *.tex *.sty *.bib
+../../isar-overview.pdf: *.tex *.sty *.bib
$(PDFLATEX) root
$(BIBTEX) root
$(PDFLATEX) root
$(PDFLATEX) root
+ mv root.pdf ../../isar-overview.pdf
\ No newline at end of file