From e4d03fdb17041ead530aa3e115f84988148a3b21 Mon Sep 17 00:00:00 2001
From: Vincent Ambo <tazjin@google.com>
Date: Sat, 21 Sep 2019 12:04:04 +0100
Subject: chore(docs): Remove mdbook override

The change has been upstreamed in Nixpkgs.
---
 tools/nixery/docs/default.nix | 18 ------------------
 1 file changed, 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";
-- 
cgit 1.4.1