lib/scripts/convert.pl

--- a/lib/scripts/convert.pl	Tue Jan 30 18:47:00 2001 +0100
+++ b/lib/scripts/convert.pl	Tue Jan 30 18:48:33 2001 +0100
@@ -152,7 +152,7 @@
       s/@@(\d+)@@/$thmnames[$1]/eg;
       print TMPW $_;
     }
-    system("mv $currfile $currfile.~0~");
+    system("mv $currfile $currfile~0~");
     system("rm $tmpfile");
   }
 }