wv/sme7/wv-wvdvi-copy.patch

--- ./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
1	slords	1.1	--- ./wvDVI.in.copy 2004-05-14 07:27:41.000000000 +0200
2			+++ ./wvDVI.in 2004-05-14 07:29:43.000000000 +0200
3			@@ -299,5 +299,7 @@
4			exit 1
5			fi
6
7			-cp -f "$name".dvi "$o_file"
8			-rm -f "$name".dvi
9			+if [ "$name".dvi != "$o_file" ]; then
10			+ cp -f "$name".dvi "$o_file"
11			+ rm -f "$name".dvi
12			+fi