diff options
| author | adisbladis <adisbladis@gmail.com> | 2021-03-31T22·35+0200 |
|---|---|---|
| committer | adisbladis <adisbladis@gmail.com> | 2021-03-31T22·41+0000 |
| commit | c693e8bf514bf5c34ad463dd934f787ed2eea88a (patch) | |
| tree | bebe277d97618de775f8648f8647f6596f374082 | |
| parent | 3c4e401c9ee9bd837ce6446cd2ddb9b1bed40f8a (diff) | |
chore(tvix): Make docs multi output r/2379
We also want to access the produced SVGs separately. Change-Id: I5bdfd95b8a56323ed8bf5f4585b703f6e728c677 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2742 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
| -rw-r--r-- | tvix/docs/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tvix/docs/default.nix b/tvix/docs/default.nix index 606027424a11..4b09f8d2dae2 100644 --- a/tvix/docs/default.nix +++ b/tvix/docs/default.nix @@ -19,6 +19,8 @@ in pkgs.stdenv.mkDerivation { pname = "tvix-doc"; version = "0.1"; + outputs = [ "out" "svg" ]; + src = lib.cleanSource ./.; CSL = csl; @@ -31,8 +33,13 @@ in pkgs.stdenv.mkDerivation { installPhase = '' runHook preInstall + mkdir -p $out cp -v *.html $out/ + + mkdir -p $svg + cp -v *.svg $svg/ + runHook postSubmit ''; |