anastasis

commit 344c4a265c1a08684a22f2e18988cc0c80caad44
parent 02879727c47769c625b4ef00b52dce414d23f290
Author: Florian Dold <florian@dold.me>
Date:   Wed, 24 Apr 2024 11:09:31 +0200

remove htmlark check from bootstrap

It's not unsed in the bootstrap and not required for building anastasis,
so the check should not be there.

Diffstat:
M
bootstrap
 | 
6
------
M
contrib/update-pp.sh
 | 
7
+++++++
M
contrib/update-tos.sh
 | 
7
+++++++

3 files changed, 14 insertions(+), 6 deletions(-)
diff --git a/bootstrap b/bootstrap
@@ -5,12 +5,6 @@ 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 --force --remote
 
diff --git a/contrib/update-pp.sh b/contrib/update-pp.sh
@@ -6,6 +6,13 @@
 
 # Error checking on
 set -eu
+
+if ! htmlark --version >/dev/null; then
+  echo "htmlark not installed"
+  echo "Run 'pip install htmlark'"
+  exit 1
+fi
+
 echo "Generating PP for ETag $VERSION"
 
 rm -f sphinx.log sphinx.err
diff --git a/contrib/update-tos.sh b/contrib/update-tos.sh
@@ -6,6 +6,13 @@
 
 # Error checking on
 set -eu
+
+if ! htmlark --version >/dev/null; then
+  echo "htmlark not installed"
+  echo "Run 'pip install htmlark'"
+  exit 1
+fi
+
 echo "Generating TOS for ETag $VERSION"
 
 rm -f sphinx.log sphinx.err