Don't make backups.

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

diff --git a/Doc/node2label.pl b/Doc/node2label.pl
index 8a77cbf59ee65be13abf24d9519ceb9cb009709b..81599006885edb50b90f8727ef1661b97021d38f 100755 (executable)
--- a/Doc/node2label.pl
+++ b/Doc/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}");
 }

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 8a77cbf59ee65be13abf24d9519ceb9cb009709b..81599006885edb50b90f8727ef1661b97021d38f 100755 (executable)
--- 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}");
 }