diff src/build-texinfo.mk @ 4677:feadde11e10f

build-texinfo, texinfo: use "#! /usr/bin/env perl" in scripts texinfo: skip for native builds
author John W. Eaton <jwe@octave.org>
date Fri, 20 Apr 2018 13:51:41 -0400
parents 4d71c8736c75
children b88723578fec
line wrap: on
line diff
--- a/src/build-texinfo.mk	Fri Apr 20 13:51:05 2018 -0400
+++ b/src/build-texinfo.mk	Fri Apr 20 13:51:41 2018 -0400
@@ -26,6 +26,8 @@
     $(MAKE) -C '$(1).build/util' -j '$(JOBS)'
     $(MAKE) -C '$(1).build/tp' -j '$(JOBS)'
 
+    $(SED) -i '1 s|^.*$$|#! /usr/bin/env perl|' '$(1).build/tp/texi2any' '$(1).build/util/txixml2texi'
+
     $(MAKE) -C '$(1).build/gnulib/lib' -j 1 install DESTDIR='$(3)'
     $(MAKE) -C '$(1).build/util' -j 1 install DESTDIR='$(3)'
     $(MAKE) -C '$(1).build/tp' -j 1 install DESTDIR='$(3)'