From 73e731cceb8e292ddd641e4e15de13b901f63c8e Mon Sep 17 00:00:00 2001
From: Nixon Enraght-Moony <nixon.emoony@gmail.com>
Date: Fri, 16 Apr 2021 15:57:07 +0100
Subject: [PATCH] Update mdbook version

---
 tools/ci-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/ci-install.sh b/tools/ci-install.sh
index 4677db6c4..d2347518d 100644
--- a/tools/ci-install.sh
+++ b/tools/ci-install.sh
@@ -6,6 +6,6 @@ if command -v mdbook >/dev/null 2>&1; then
     echo "mdbook already installed at $(command -v mdbook)"
 else
     echo "installing mdbook"
-    cargo install mdbook --vers "0.1.2"
+    cargo install mdbook --vers "0.4.7"
 fi