liminix

commit 7020fa99ee3d92f9b48273b1e5f82834c477a512
parent bc27f121d984f7f294bf9a3768a1f866c7ef7f61
Author: Daniel Barlow <dan@telent.net>
Date:   Sun, 21 May 2023 20:53:05 +0100

build manual in CI

Diffstat:
M
ci.nix
 | 
13
+++++++++++++

1 file changed, 13 insertions(+), 0 deletions(-)
diff --git a/ci.nix b/ci.nix
@@ -24,6 +24,19 @@ let
         device = import (liminix + "/devices/qemu");
         liminix-config = vanilla;
       }).buildEnv;
+      doc = pkgs.stdenv.mkDerivation {
+        name = "liminix-doc";
+        nativeBuildInputs = with pkgs; [ gnumake sphinx ];
+        src = ./doc;
+        buildPhase = ''
+          make  html
+        '';
+        installPhase = ''
+          dest=$out/share/doc/liminix
+          mkdir -p $dest
+          cp -a _build/html/* $dest
+        '';
+      };
       with-unstable = (import liminix {
         nixpkgs = unstable;
         inherit borderVmConf;