Fix bash path in a shebang (boostorg#153)

asomers · danieljames · commit c47cf1cf5ae1 · 2017-10-09T11:33:31.000+01:00
"/bin/bash" is a Linuxism.  "/usr/bin/env bash" is portable.
diff --git a/doc/pdf/build b/doc/pdf/build
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 boost_version=$(grep 'define.*BOOST_LIB_VERSION' ../../boost/version.hpp | sed 's/.*"\([^"]*\)".*/\1/')
 echo Boost version tag = $boost_version
 (cd ../../libs/accumulators/doc && bjam -a --hash) 2>&1 | tee build.log

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash`
	`1`	`+#!/usr/bin/env bash`
`2`	`2`	`boost_version=$(grep 'define.BOOST_LIB_VERSION' ../../boost/version.hpp \| sed 's/."\([^"]\)"./\1/')`
`3`	`3`	`echo Boost version tag = $boost_version`
`4`	`4`	`(cd ../../libs/accumulators/doc && bjam -a --hash) 2>&1 \| tee build.log`