Don't make backups.

Use "mv" instead of "ln -s" to install the new names.

1 files changed, 3 insertions, 3 deletions

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 8a77cbf..8159900 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -1,4 +1,4 @@
-#!/depot/gnu/plat/bin/perl -i~
+#!/depot/gnu/plat/bin/perl -i
 
 # read the labels, then reverse the mappings
 require "labels.pl";
@@ -33,6 +33,6 @@ while (<>) {
 }
 
 foreach $oldname (keys %newnames) {
-# or mv
-  system("ln -s $oldname $newnames{$oldname}");
+# or ln -s
+  system("mv $oldname $newnames{$oldname}");
 }