[taler-anastasis] branch master updated: remove htmlark check from bootstrap

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository anastasis.

The following commit(s) were added to refs/heads/master by this push:
     new 344c4a2  remove htmlark check from bootstrap
344c4a2 is described below

commit 344c4a265c1a08684a22f2e18988cc0c80caad44
Author: Florian Dold <florian@dold.me>
AuthorDate: Wed Apr 24 11:09:31 2024 +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.
---
 bootstrap             | 6 ------
 contrib/update-pp.sh  | 7 +++++++
 contrib/update-tos.sh | 7 +++++++
 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

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.