tvl-depot/tvix/docs/default.nix
Florian Klink 65a810fc0b feat(tvix/docs): switch to mdbook
Some of the docs are still outdated (like architecture and drv path
inconsistencies).

Change-Id: I7a6afceb008ef4cd19a764dd6c637b39fa842a2e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11072
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Reviewed-by: edef <edef@edef.eu>
2024-03-03 16:52:38 +00:00

23 lines
435 B
Nix

{ pkgs, lib, ... }:
pkgs.stdenv.mkDerivation {
pname = "tvix-docs";
version = "0.1";
outputs = [ "out" ];
src = lib.cleanSource ./.;
nativeBuildInputs = [
pkgs.mdbook
pkgs.mdbook-plantuml
pkgs.plantuml
];
# plantuml wants to create ./.mdbook-plantuml-cache, which fails as $src is r/o.
# copy all sources elsewhere to workaround.
buildCommand = ''
cp -R $src/. .
mdbook build -d $out
'';
}