diff options
author | Christian Grothoff <christian@grothoff.org> | 2022-11-13 11:14:06 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2022-11-13 11:14:06 +0100 |
commit | 42b79931412e12358aa4bad6444fce1e74ca5d82 (patch) | |
tree | 35cf08aef07cfcea2b6929e84a7d7ad87e168f1a /bootstrap | |
parent | 2a8b351822734d7b028f4b7c62d219fe7cdc9564 (diff) |
generate ToS with inline CSS
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |