From 55bbdd6b4b0d9b603d4f3ad9453ed58c2063e3d1 Mon Sep 17 00:00:00 2001
From: Kevin Day <kevin@kevux.org>
Date: Sat, 1 Jul 2023 23:06:31 -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 fb49056..933d843 100644
--- 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
-- 
1.8.3.1