From 065aa9a4c246c167cfbf3855aae061857268595e Mon Sep 17 00:00:00 2001
From: lrknox <lrknox>
Date: Tue, 25 Oct 2016 16:37:34 -0500
Subject: Correct error in doc option of release script.

---
 bin/release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v0.12