From c397ae12146a7ea7503f342e89cac496bfbf63c5 Mon Sep 17 00:00:00 2001
From: Andreas Hochsteger <andreas.hochsteger@gmail.com>
Date: Fri, 10 May 2024 07:03:50 +0200
Subject: [PATCH] build: ignore example docs index check if no docs are
 generated

---
 scripts/update-examples.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/update-examples.sh b/scripts/update-examples.sh
index be5ec18c..b903912c 100755
--- a/scripts/update-examples.sh
+++ b/scripts/update-examples.sh
@@ -68,7 +68,8 @@ function validateExample() {
     exit 1 
   fi
   local categoryIndexFile="${EXAMPLE_DOCS_BASEDIR}/${category}/index.mdx"
-  if [[ ! -f "${categoryIndexFile}" ]]; then
+  local generate; generate=$(getInfo "${EXAMPLE_SRC_BASEDIR}/${f}" "if (.generate|index(\"docs\")) then \"true\" else \"false\" end")
+  if [[ "${generate}" == "true" ]] && [[ ! -f "${categoryIndexFile}" ]]; then
     echo -e "\nERROR: The category of the example file '${file}' misses an index file at '${categoryIndexFile}'!"
     exit 1 
   fi