From c693e8bf514bf5c34ad463dd934f787ed2eea88a Mon Sep 17 00:00:00 2001 From: adisbladis Date: Thu, 1 Apr 2021 00:35:04 +0200 Subject: chore(tvix): Make docs multi output 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 --- tvix/docs/default.nix | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'tvix/docs') diff --git a/tvix/docs/default.nix b/tvix/docs/default.nix index 606027424a..4b09f8d2da 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 ''; -- cgit 1.4.1