Use Perl's rename() function instead of system(); there's no need for two

additional processes for each name change!

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 5cc54d69bfc814d74d2f45d3e3ed9b1b16380dd7..a59d68ed59916d2499f9081ef4779d1bf5294cdc 100755 (executable)
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -51,6 +51,5 @@ while (<>) {
 }
 
 foreach $oldname (keys %newnames) {
-# or ln -s
-  system("mv $oldname $newnames{$oldname}");
+  rename($oldname, $newnames{$oldname});
 }