Don't make backups.
Use "mv" instead of "ln -s" to install the new names.
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 @@
}
foreach $oldname (keys %newnames) {
-# or mv
- system("ln -s $oldname $newnames{$oldname}");
+# or ln -s
+ system("mv $oldname $newnames{$oldname}");
}