Bugfix: The boostrap script should not fail if documentation directory is empty.

Instead of failing, print a warning and continue onward.

diff --git a/build/scripts/bootstrap.sh b/build/scripts/bootstrap.sh
index fd7ce035c328a1c40738d49a686f26f2c3b68437..a5c7550d2683b20c7cc768d143880f3fe5e98bea 100644 (file)
--- a/build/scripts/bootstrap.sh
+++ b/build/scripts/bootstrap.sh
@@ -1406,6 +1406,15 @@ bootstrap_operation_build() {
     for i in ${sources_documentation} ; do
       directory=$(dirname ${i})
 
+      if [[ ! -e ${path_documentation}${i} ]] ; then
+        if [[ ${verbosity} != "quiet" && ${verbosity} != "error" ]] ; then
+          echo
+          echo -e "${c_warning}WARNING: Documentation path '${c_notice}${path_documentation}${i}${c_warning}' is not found.${c_reset}"
+        fi
+
+        continue;
+      fi
+
       if [[ ${directory} == "." ]] ; then
         cp ${verbose_common} -R ${path_documentation}${i} ${path_build}documentation/ || failure=1
       else