diff options
author | Iván Ávalos <avalos@disroot.org> | 2024-03-04 16:40:00 -0600 |
---|---|---|
committer | Iván Ávalos <avalos@disroot.org> | 2024-03-04 16:40:00 -0600 |
commit | 96fddd8b71e028067e3a8280c2887d572a9ffb8d (patch) | |
tree | 7a075e290fc5d6bd973e71075f3e53bd9550e118 | |
parent | 1f813f5e70addb00b3207128728d0832691d4154 (diff) |
check for pandoc instead of htmlark in bootstrap
-rwxr-xr-x | bootstrap | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -8,9 +8,8 @@ if ! git --version >/dev/null; then exit 1 fi -if ! htmlark --version >/dev/null; then - echo "htmlark not installed" - echo "Run 'pip install htmlark'" +if ! pandoc --version >/dev/null; then + echo "pandoc not installed" exit 1 fi |