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 fb490561f7995389455bbaa08572c65a1339a6a1..933d843df4a586c9b221572175a6d9c5b1181a2e 100644 (file)
--- a/build/scripts/bootstrap.sh
+++ b/build/scripts/bootstrap.sh
@@ -1400,6 +1400,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