--- ./wvDVI.in.copy	2004-05-14 07:27:41.000000000 +0200
+++ ./wvDVI.in	2004-05-14 07:29:43.000000000 +0200
@@ -299,5 +299,7 @@
 	exit 1
 fi
 
-cp -f "$name".dvi "$o_file"
-rm -f "$name".dvi
+if [ "$name".dvi != "$o_file" ]; then
+	cp -f "$name".dvi "$o_file"
+	rm -f "$name".dvi
+fi