diff options
Diffstat (limited to 'bin/release')
| -rwxr-xr-x | bin/release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/release b/bin/release index d22ed75..0d74233 100755 --- a/bin/release +++ b/bin/release @@ -332,7 +332,7 @@ for comp in $methods; do fi test "$verbose" && echo " Creating docs..." 1>&2 # Check out docs from git repo - (cd $tmpdir; git clone $DOC_URL > /dev/null) || exit 1 + (cd $tmpdir; git clone -q $DOC_URL ${DOCVERSION} ) || exit 1 # Create doxygen C++ RM (cd c++/src && doxygen cpp_doc_config > /dev/null ) || exit 1 # Replace version of C++ RM with just-created version |