diff options
Diffstat (limited to 'doc/pdf')
-rw-r--r-- | doc/pdf/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/pdf/build b/doc/pdf/build index 96881bb246..6f1c663807 100644 --- 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 |