aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Dold <florian@dold.me>2024-04-24 10:56:21 +0200
committerFlorian Dold <florian@dold.me>2024-04-24 10:56:21 +0200
commit4eb35dc9b1bec8507f7096069b5553b095ea6ba6 (patch)
treeb39e72884b49d1673856393788baac01a7c19600
parent84b2619ce107c71cf70421625a8ce880dcbf7f3a (diff)
bootstrap: do not check for pandocv0.10.3-dev.1
We don't use pandoc during bootstrapping, so this change does not belong in the bootstrap script.
-rwxr-xr-xbootstrap6
1 files changed, 0 insertions, 6 deletions
diff --git a/bootstrap b/bootstrap
index b749f0da9..509c8a0c7 100755
--- 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