aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2022-11-13 11:14:06 +0100
committerChristian Grothoff <christian@grothoff.org>2022-11-13 11:14:06 +0100
commit42b79931412e12358aa4bad6444fce1e74ca5d82 (patch)
tree35cf08aef07cfcea2b6929e84a7d7ad87e168f1a /bootstrap
parent2a8b351822734d7b028f4b7c62d219fe7cdc9564 (diff)
generate ToS with inline CSS
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap5
1 files changed, 5 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index 67e246838..5206fc2ea 100755
--- a/bootstrap
+++ b/bootstrap
@@ -8,6 +8,11 @@ if ! git --version >/dev/null; then
exit 1
fi
+if ! htmlark --version >/dev/null; then
+ echo "htmlark not installed"
+ exit 1
+fi
+
echo "$0: Updating submodules"
echo | git submodule update --init