From 7020fa99ee3d92f9b48273b1e5f82834c477a512 Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Sun, 21 May 2023 20:53:05 +0100
Subject: [PATCH] build manual in CI

---
 ci.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/ci.nix b/ci.nix
index 1862047..a3d113b 100644
--- 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;