1 files changed, 19 insertions, 1 deletions
diff --git a/tools/nixery/docs/default.nix b/tools/nixery/docs/default.nix
index deebdffd7fd9..6a31be4fd4e0 100644
--- a/tools/nixery/docs/default.nix
+++ b/tools/nixery/docs/default.nix
@@ -18,9 +18,27 @@
 # Some of the documentation is pulled in and included from other
 # sources.
 
-{ fetchFromGitHub, mdbook, runCommand }:
+{ fetchFromGitHub, mdbook, runCommand, rustPlatform }:
 
 let
+  # nixpkgs currently has an old version of mdBook. A new version is
+  # built here, but eventually the update will be upstreamed
+  # (nixpkgs#65890)
+  mdbook = rustPlatform.buildRustPackage rec {
+    name = "mdbook-${version}";
+    version = "0.3.1";
+    doCheck = false;
+
+    src = fetchFromGitHub {
+      owner = "rust-lang-nursery";
+      repo = "mdBook";
+      rev = "v${version}";
+      sha256 = "0py69267jbs6b7zw191hcs011cm1v58jz8mglqx3ajkffdfl3ghw";
+    };
+
+    cargoSha256 = "0qwhc42a86jpvjcaysmfcw8kmwa150lmz01flmlg74g6qnimff5m";
+  };
+
   nix-1p = fetchFromGitHub {
     owner  = "tazjin";
     repo   = "nix-1p";