From 26b7dce38e2908a0ba8fb8e3f94c13cdd1bd41d1 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 6 Jan 2023 22:22:30 +0100
Subject: support md in TOS

---
 bootstrap | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'bootstrap')

diff --git a/bootstrap b/bootstrap
index a7414cd..a466ade 100755
--- a/bootstrap
+++ b/bootstrap
@@ -5,6 +5,12 @@ if ! git --version >/dev/null; then
   exit 1
 fi
 
+if ! htmlark --version >/dev/null; then
+  echo "htmlark not installed"
+  echo "Run 'pip install htmlark'"
+  exit 1
+fi
+
 echo "$0: Updating submodules"
 echo | git submodule update --init
 
-- 
cgit v1.2.3