From: Kevin Day <kevin@kevux.org>
Date: Sun, 2 Jul 2023 04:07:02 +0000 (-0500)
Subject: Bugfix: The boostrap script should not fail if documentation directory is empty.
X-Git-Url: https://git.kevux.org/?a=commitdiff_plain;h=5685b4000dbdd4fe0a2247ab5f2f6bd67701da6d;p=fll

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 fd7ce03..a5c7550 100644
--- 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