invoke build_docs locally, since the master build script does not

1 files changed, 2 insertions, 0 deletions

diff --git a/build.sh b/build.sh
index 9cb46669cd..c6efa39194 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 ]