diff --git a/build.sh b/build.sh index 9cb46669cd0bd888ce54fcddc6e8d2ec224f5b1c..c6efa391945c53c7661c84d78b417883ec436e7a 100755 --- a/build.sh +++ b/build.sh @@ -281,6 +281,8 @@ do end_section "Do$variant" done +build_docs + # If we are building variants in parallel, wait, then collect results. # This requires that the build dirs are variant specific if $build_link_parallel && [ x"$build_processes" != x ]