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	--- ./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