diff options
| author | Karl Berry <karl@freefriends.org> | 2012-05-20 18:26:13 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2012-05-20 18:26:13 +0000 |
| commit | f6318848dc91f455499a2d561689916e083b084b (patch) | |
| tree | 4695d28de1a9048f6ab2fdfc64705fb602c57f37 | |
| parent | a3255c22037b6c658cd1095e5a4b1db072a4041b (diff) | |
use #! to placate ruby, ruby-bugs:PR#315, etc.
git-svn-id: svn://tug.org/texlive/trunk@26508 c570f23f-e606-0410-a88d-b1316a301751
| -rwxr-xr-x | Build/source/extra/epstopdf/epstopdf.pl | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Build/source/extra/epstopdf/epstopdf.pl b/Build/source/extra/epstopdf/epstopdf.pl index bc5fed1f684..23f8b6aaecb 100755 --- a/Build/source/extra/epstopdf/epstopdf.pl +++ b/Build/source/extra/epstopdf/epstopdf.pl @@ -1,7 +1,4 @@ -eval '(exit $?0)' && eval 'exec perl -S $0 ${1+"$@"}' && eval 'exec perl -S $0 $argv:q' - if 0; -use strict; - +#!/usr/bin/env perl # $Id$ # (Copyright lines below.) # @@ -46,6 +43,12 @@ use strict; # # emacs-page # History +# 2012/05/20 (Karl Berry) +# * use /usr/bin/env, since Ruby has apparently required #! for years, +# and we rely on it for our other scripts, so why not. +# (tex-k mail from Jean Krohn, 2 Aug 2010 15:57:54, +# per http://osdir.com/ml/lang.ruby.general/2002-06/msg01388.html +# and ruby-bugs:PR#315). # 2012/05/12 v2.17 (Karl Berry) # * uselessly placate -w. Debian bug 672281. # 2010/05/09 v2.16 (Karl Berry) |