6716bf018c
Cleans up a whole bunch of things I wanted to get out of the door right away: * depot internal references to //third_party/nixery have been replaced with //tools/nixery * cleaned up files from Github * fixed SPDX & Copyright headers * code formatting and inclusion in //tools/depotfmt checks Change-Id: Iea79f0fdf3aa04f71741d4f4032f88605ae415bb Reviewed-on: https://cl.tvl.fyi/c/depot/+/5486 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su>
26 lines
658 B
Nix
26 lines
658 B
Nix
# Copyright 2022 The TVL Contributors
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
# Builds the documentation page using the Rust project's 'mdBook'
|
|
# tool.
|
|
#
|
|
# Some of the documentation is pulled in and included from other
|
|
# sources.
|
|
|
|
{ fetchFromGitHub, mdbook, runCommand, rustPlatform }:
|
|
|
|
let
|
|
nix-1p = fetchFromGitHub {
|
|
owner = "tazjin";
|
|
repo = "nix-1p";
|
|
rev = "9f0baf5e270128d9101ba4446cf6844889e399a2";
|
|
sha256 = "1pf9i90gn98vz67h296w5lnwhssk62dc6pij983dff42dbci7lhj";
|
|
};
|
|
in
|
|
runCommand "nixery-book" { } ''
|
|
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
|
|
''
|