diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/node2label.pl | 3 |
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}); } |