diff options
| -rwxr-xr-x | Doc/node2label.pl | 6 | ||||
| -rwxr-xr-x | Doc/tools/node2label.pl | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/Doc/node2label.pl b/Doc/node2label.pl index 8a77cbf..8159900 100755 --- 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 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 @@ while (<>) { } foreach $oldname (keys %newnames) { -# or mv - system("ln -s $oldname $newnames{$oldname}"); +# or ln -s + system("mv $oldname $newnames{$oldname}"); } |