From 9bf49a225d09d0091a0e37df77fa756bd84987aa Mon Sep 17 00:00:00 2001
From: Stavros Korokithakis <hi@stavros.io>
Date: Sat, 20 Nov 2021 04:21:31 +0200
Subject: [PATCH] Download mdBook if it doesn't exist

---
 .gitlab-ci.yml |  3 ---
 build          | 10 ++++++++++
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 75e4620..5b3cb01 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,9 +8,6 @@ build:
   script:
     - pip install pre-commit
     - pre-commit run -a --hook-stage=manual
-    - wget https://github.com/rust-lang/mdBook/releases/download/v0.4.13/mdbook-v0.4.13-x86_64-unknown-linux-gnu.tar.gz -O mdbook.tgz
-    - tar zxvf mdbook.tgz
-    - mv mdbook /usr/local/bin/
     - ./build
   artifacts:
     paths:
diff --git a/build b/build
index 830a89f..7ba3a47 100755
--- a/build
+++ b/build
@@ -3,6 +3,16 @@
 set -euxo pipefail
 
 rm -rf public/
+
+if [ -x $(which mdbook) ] ; then
+    echo "mdBook found, running..."
+else
+    echo "mdBook not found, downloading..."
+    wget https://github.com/rust-lang/mdBook/releases/download/v0.4.13/mdbook-v0.4.13-x86_64-unknown-linux-gnu.tar.gz -O mdbook.tgz
+    tar zxvf mdbook.tgz
+    mv mdbook /usr/local/bin/
+fi
+
 mdbook build -d public
 
 # Make checkboxes editable, just in case the user wants to keep their own checklist.