diff options
Diffstat (limited to 'Build/source/utils/xindy/make-rules/inputenc/make-inp-rules.pl')
-rwxr-xr-x | Build/source/utils/xindy/make-rules/inputenc/make-inp-rules.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/make-rules/inputenc/make-inp-rules.pl b/Build/source/utils/xindy/make-rules/inputenc/make-inp-rules.pl index af418797b38..41b1d7dc966 100755 --- a/Build/source/utils/xindy/make-rules/inputenc/make-inp-rules.pl +++ b/Build/source/utils/xindy/make-rules/inputenc/make-inp-rules.pl @@ -1,4 +1,4 @@ -#!/usr/bin/perl +#!/usr/bin/env perl print <<"EOF"; ;; this file was generated by make-inp-rules.pl |