about summary refs log tree commit diff
path: root/tools/nixery/docs
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2019-08-12T16·10+0100
committerVincent Ambo <github@tazj.in>2019-08-13T23·02+0100
commit819b4602788195cacde48cf8bb36ab242d240512 (patch)
treeb0c2824e4dbf57ed3e44f5de7a574a5de68177e9 /tools/nixery/docs
parent1fa93fe6f640bfdbb5e9ecedb2dbf2cacc5e8945 (diff)
chore(docs): Move mdBook derivation to docs/default.nix
Diffstat (limited to 'tools/nixery/docs')
-rw-r--r--tools/nixery/docs/default.nix20
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";