commit 90fd82fb8d4ee038fe4b505849e39e91e5eaec64
author Vincent <shou@us.ibm.com> Mon Sep 10 15:12:46 2018 -0400
committer Priti Desai <pdesai@us.ibm.com> Mon Sep 10 12:12:46 2018 -0700
tree 15789f049db12c67510d00efd6cbca56b52f7ed1
parent 60a8b952f462891027d1e8aa7840e14aa92e1366

Add document update based on the parameter UPDATE_DOC for release (#237)

tools/move_stage_to_release.sh

diff --git a/tools/move_stage_to_release.sh b/tools/move_stage_to_release.sh
index abc2d3e..2e5278d 100755
--- a/tools/move_stage_to_release.sh
+++ b/tools/move_stage_to_release.sh
@@ -47,8 +47,10 @@
     cp ${REMOTE_PATH}/${repo_name}-${version}-sources.tar.gz* ${REMOTE_PATH_RELEASE}/
 done
 
-# Copy the documents into the release folder
-cp -R ${REMOTE_PATH}/doc ${REMOTE_PATH_RELEASE}/
+if [ "$UPDATE_DOC" == "true" ] ; then
+    # Copy the documents into the release folder
+    cp -R ${REMOTE_PATH}/doc ${REMOTE_PATH_RELEASE}/
+fi
 
 cd $REMOTE_PATH_RELEASE
 svn add --force * $CREDENTIALS