From 819b4602788195cacde48cf8bb36ab242d240512 Mon Sep 17 00:00:00 2001
From: Vincent Ambo <tazjin@google.com>
Date: Mon, 12 Aug 2019 17:10:34 +0100
Subject: chore(docs): Move mdBook derivation to docs/default.nix

---
 tools/nixery/docs/default.nix | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'tools/nixery/docs/default.nix')

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";
-- 
cgit 1.4.1