remove htmlark check from bootstrapHEADv0.4.2-dev.1master

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

3 files changed, 14 insertions, 6 deletions

diff --git a/bootstrap b/bootstrap
index eaaf3fc..b154cd3 100755
--- 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
index 03aa237..89390a1 100755
--- 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
index 26d65ed..04fff48 100755
--- 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