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

additional processes for each name change!

1 files changed, 1 insertions, 2 deletions

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 5cc54d6..a59d68e 100755
--- 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});
 }