2019-08-04 23:45:23 +02:00
|
|
|
# Copyright 2019 Google LLC
|
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# https://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
|
|
|
|
|
|
|
# Builds the documentation page using the Rust project's 'mdBook'
|
|
|
|
# tool.
|
|
|
|
#
|
|
|
|
# Some of the documentation is pulled in and included from other
|
|
|
|
# sources.
|
|
|
|
|
2019-08-12 18:10:34 +02:00
|
|
|
{ fetchFromGitHub, mdbook, runCommand, rustPlatform }:
|
2019-08-04 23:45:23 +02:00
|
|
|
|
|
|
|
let
|
2019-08-12 18:10:34 +02:00
|
|
|
# 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";
|
|
|
|
};
|
|
|
|
|
2019-08-04 23:45:23 +02:00
|
|
|
nix-1p = fetchFromGitHub {
|
2019-08-13 01:35:42 +02:00
|
|
|
owner = "tazjin";
|
|
|
|
repo = "nix-1p";
|
|
|
|
rev = "3cd0f7d7b4f487d04a3f1e3ca8f2eb1ab958c49b";
|
2019-08-08 22:02:08 +02:00
|
|
|
sha256 = "02lpda03q580gyspkbmlgnb2cbm66rrcgqsv99aihpbwyjym81af";
|
2019-08-04 23:45:23 +02:00
|
|
|
};
|
2019-08-13 01:35:42 +02:00
|
|
|
in runCommand "nixery-book" { } ''
|
2019-08-04 23:45:23 +02:00
|
|
|
mkdir -p $out
|
|
|
|
cp -r ${./.}/* .
|
|
|
|
chmod -R a+w src
|
|
|
|
cp ${nix-1p}/README.md src/nix-1p.md
|
|
|
|
${mdbook}/bin/mdbook build -d $out
|
|
|
|
''
|