From 69729d78eb37420a55b1c96bab322d7952759bed Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 21 Aug 2019 10:28:45 +0200
Subject: [PATCH] bump mdbook to v0.3.1

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

diff --git a/ci/install.sh b/ci/install.sh
index fea846b6e0..ed13cc1650 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -13,7 +13,7 @@ main() {
 
     # install mdbook
     curl -LSfs https://japaric.github.io/trust/install.sh | \
-        sh -s -- --git rust-lang-nursery/mdbook --tag v0.2.1
+        sh -s -- --git rust-lang-nursery/mdbook --tag v0.3.1
 
     pip install linkchecker --user
 }