fix docs builder script

Change-Id: Idf58d22ea0db6835c7d71570fdd2a413de3c6fc3
Signed-off-by: Ryota MIBU <r-mibu@cq.jp.nec.com>

diff --git a/build-composite.sh b/build-composite.sh
index 4cda205..2128376 100755 (executable)
--- a/build-composite.sh
+++ b/build-composite.sh
@@ -32,6 +32,7 @@ pushd docs_build/projects
 for repo in $repos; do
     echo "    $repo ($GERRIT_BRANCH)"
     git_clone $repo
+    [[ -e $repo/docs ]] || continue
     cp -r $repo/docs ../../docs/projects/$repo
 done
 popd