# HG changeset patch
# User kleing
# Date 1114825910 -7200
# Node ID 8d61562244d50d56c91eaf091f317988ddd3c026
# Parent  6bd7d0a04252483d8995f26b66e2e8ef60ecce55
fixed dependencies

diff -r 6bd7d0a04252 -r 8d61562244d5 doc-src/IsarOverview/Isar/document/Makefile
--- 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