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 |
