Avoid hard-coded /usr/bin/perl (trick taken from Gnulib.)

2 files changed, 6 insertions, 2 deletions

diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc
index 13a37bd3b5..e79d3afd72 100755
--- a/doc/scripts/gdoc
+++ b/doc/scripts/gdoc
@@ -1,4 +1,6 @@
-#!/usr/bin/perl
+eval '(exit $?0)' && eval 'exec perl -wS "$0" ${1+"$@"}'
+  & eval 'exec perl -wS "$0" $argv:q'
+    if 0;
 
 ## Copyright (c) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Simon Josefsson
 ##                    added -texinfo, -listfunc, -pkg-name
diff --git a/doc/scripts/sort2.pl b/doc/scripts/sort2.pl
index a4c71ef05e..171bab7f9a 100755
--- a/doc/scripts/sort2.pl
+++ b/doc/scripts/sort2.pl
@@ -1,4 +1,6 @@
-#!/usr/bin/perl
+eval '(exit $?0)' && eval 'exec perl -wS "$0" ${1+"$@"}'
+  & eval 'exec perl -wS "$0" $argv:q'
+    if 0;
 
 sub key_of_record {
   local($record) = @_;