diff options
Diffstat (limited to 'tools/release/build_docs.sh')
-rwxr-xr-x | tools/release/build_docs.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/release/build_docs.sh b/tools/release/build_docs.sh new file mode 100755 index 0000000000..6e00fb31a0 --- /dev/null +++ b/tools/release/build_docs.sh @@ -0,0 +1,20 @@ +#!/usr/bin/env bash + +# Build docs + +# Copyright 2008 Beman Dawes +# Distributed under the Boost Software License, Version 1.0. See http://www.boost.org/LICENSE_1_0.txt + +if [ $# -lt 1 ] +then + echo "invoke:" $0 "directory-name" + echo "example:" $0 "posix" + exit 1 +fi + +echo building $1 docs... +pushd $1/doc +bjam --v2 >../../$1-bjam.log +ls html +popd + |