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: need htmlark, provide instruction

---
 bootstrap | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bootstrap')

diff --git a/bootstrap b/bootstrap
index 5206fc2e..20c1c602 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
 
-- 
cgit v1.2.3