exchange

commit 4eb35dc9b1bec8507f7096069b5553b095ea6ba6
parent 84b2619ce107c71cf70421625a8ce880dcbf7f3a
Author: Florian Dold <florian@dold.me>
Date:   Wed, 24 Apr 2024 10:56:21 +0200

bootstrap: do not check for pandoc

We don't use pandoc during bootstrapping, so this change does not belong
in the bootstrap script.

Diffstat:
M
bootstrap
 | 
6
------

1 file changed, 0 insertions(+), 6 deletions(-)
diff --git a/bootstrap b/bootstrap
@@ -8,12 +8,6 @@ if ! git --version >/dev/null; then
   exit 1
 fi
 
-if ! pandoc --version >/dev/null; then
-  echo "pandoc not installed"
-  exit 1
-fi
-
-
 echo "$0: Updating submodules"
 echo | git submodule update --init --force --remote