merge up to 3.4.0-release

1 files changed, 6 insertions, 3 deletions

diff --git a/build.sh b/build.sh
index 15f0463aff..cec7e04dab 100755
--- a/build.sh
+++ b/build.sh
@@ -132,9 +132,12 @@ build()
 build_docs()
 {
   begin_section Docs
-  # Stub code to generate docs
-  echo Hello world  > documentation.txt
-  upload_item docs documentation.txt text/plain
+  if "$AUTOBUILD" build -c Doxygen
+  then
+    echo true >"$build_dir"/build_ok
+  else
+    echo false >"$build_dir"/build_ok
+  fi
   end_section Docs
 }