--- a/doc-src/IsarOverview/Isar/document/Makefile Sat Apr 30 02:45:17 2005 +0200
+++ b/doc-src/IsarOverview/Isar/document/Makefile Sat Apr 30 02:54:53 2005 +0200
@@ -13,7 +13,7 @@
dvi: ../../isar-overview.dvi
../../isar-overview.dvi: root.dvi
- cp root.dvi ../../isar-overview.dvi
+ mv root.dvi ../../isar-overview.dvi
root.dvi: *.tex *.sty *.bib
$(LATEX) root
@@ -24,7 +24,7 @@
pdf: ../../isar-overview.pdf
../../isar-overview.pdf: root.pdf
- cp root.pdf ../../isar-overview.pdf
+ mv root.pdf ../../isar-overview.pdf
root.pdf: *.tex *.sty *.bib
$(PDFLATEX) root