diff options
| -rwxr-xr-x | Doc/tools/node2label.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl index 73a3809..3e4f8f0 100755 --- a/Doc/tools/node2label.pl +++ b/Doc/tools/node2label.pl @@ -1,4 +1,7 @@ -#!/depot/gnu/plat/bin/perl -i +#! /usr/bin/env perl + +use English; +$INPLACE_EDIT = ''; # read the labels, then reverse the mappings require "labels.pl"; |