diff options
author | Florian Dold <florian@dold.me> | 2024-04-24 10:56:21 +0200 |
---|---|---|
committer | Florian Dold <florian@dold.me> | 2024-04-24 10:56:21 +0200 |
commit | 4eb35dc9b1bec8507f7096069b5553b095ea6ba6 (patch) | |
tree | b39e72884b49d1673856393788baac01a7c19600 | |
parent | 84b2619ce107c71cf70421625a8ce880dcbf7f3a (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-x | bootstrap | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -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 |