From 5efea4db73deab75a98c2a69711b78f8fd01dc18 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 13 Nov 2022 11:15:30 +0100
Subject: [PATCH] need htmlark, provide instruction

---
 bootstrap    | 1 +
 contrib/gana | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/bootstrap b/bootstrap
index 5206fc2ea..20c1c6025 100755
--- a/bootstrap
+++ b/bootstrap
@@ -10,6 +10,7 @@ fi
 
 if ! htmlark --version >/dev/null; then
   echo "htmlark not installed"
+  echo "Run 'pip install htmlark'"
   exit 1
 fi
 
diff --git a/contrib/gana b/contrib/gana
index 6b9824cb4..a4a6b9ba4 160000
--- a/contrib/gana
+++ b/contrib/gana
@@ -1 +1 @@
-Subproject commit 6b9824cb4d4561f1167c7f518998a226a82222d6
+Subproject commit a4a6b9ba4b2634c56194d53e36344686d7052cef