From 3f1158204a5afce2e1ae0da4e836da7296d5d682 Mon Sep 17 00:00:00 2001
From: Cody Boone Ferguson <53008573+xexyl@users.noreply.github.com>
Date: Thu, 18 Apr 2024 03:13:34 -0700
Subject: [PATCH] Fix update-manifest.sh to run gen-other-html.sh

The need for this was discovered when doing commit
92525e2e263cdb0706dfb78fa8194e3b71088f54.
---
 tmp/update-manifest.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tmp/update-manifest.sh b/tmp/update-manifest.sh
index 2a17d8505..64792cc3f 100755
--- a/tmp/update-manifest.sh
+++ b/tmp/update-manifest.sh
@@ -315,6 +315,13 @@ else
     fi
 fi
 
+echo "$(basename "$0"): now will run: bin/gen-other-html.sh -v $CAP_D_FLAG"
+echo "NOTE: this can take a while." 1>&2
+if ! bin/gen-other-html.sh -v "$CAP_D_FLAG"; then
+    echo "problem running bin/gen-other-html.sh, fix and try again." 1>&2
+    exit 5
+fi
+
 
 read -r -n 1 -p "Press any key to run: $GIT diff: "
 echo 1>&2