diff options
| -rwxr-xr-x | build-composite.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-composite.sh b/build-composite.sh index 4cda205b2..212837682 100755 --- 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 |