From 5685b4000dbdd4fe0a2247ab5f2f6bd67701da6d Mon Sep 17 00:00:00 2001
From: Kevin Day <kevin@kevux.org>
Date: Sat, 1 Jul 2023 23:07:02 -0500
Subject: [PATCH] Bugfix: The boostrap script should not fail if documentation
 directory is empty.

Instead of failing, print a warning and continue onward.
---
 build/scripts/bootstrap.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

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
-- 
1.8.3.1