about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2019-09-21T11·04+0100
committerVincent Ambo <github@tazj.in>2019-09-21T11·44+0100
commite4d03fdb17041ead530aa3e115f84988148a3b21 (patch)
tree0ecdca6a6c3cf827c219c787bbb941e1abd5b81d /tools
parent5a002fe067e52d503062307515179670b5e3de13 (diff)
chore(docs): Remove mdbook override
The change has been upstreamed in Nixpkgs.
Diffstat (limited to 'tools')
-rw-r--r--tools/nixery/docs/default.nix18
1 files changed, 0 insertions, 18 deletions
diff --git a/tools/nixery/docs/default.nix b/tools/nixery/docs/default.nix
index 11eda3ff7052..fdf0e6ff9ea5 100644
--- a/tools/nixery/docs/default.nix
+++ b/tools/nixery/docs/default.nix
@@ -21,24 +21,6 @@
 { 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";