diff options
author | Vincent Ambo <tazjin@google.com> | 2019-09-21T11·04+0100 |
---|---|---|
committer | Vincent Ambo <github@tazj.in> | 2019-09-21T11·44+0100 |
commit | e4d03fdb17041ead530aa3e115f84988148a3b21 (patch) | |
tree | 0ecdca6a6c3cf827c219c787bbb941e1abd5b81d /tools | |
parent | 5a002fe067e52d503062307515179670b5e3de13 (diff) |
chore(docs): Remove mdbook override
The change has been upstreamed in Nixpkgs.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/nixery/docs/default.nix | 18 |
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"; |