more doc-work

2023-02-26 06:11:55 +01:00
parent b1d987763c
commit 91dc6fa2a5
10 changed files with 63 additions and 24 deletions
--- a/profiles/web/docs/linux-docs.nix
+++ b/profiles/web/docs/linux-docs.nix
@@ -0,0 +1,8 @@
+{ config, pkgs, lib, ... }:
+{
+  services.docs-to-host.docs = [{
+    desc    = "Linux kernel html documentation";
+    dirname = "linux-docs";
+    path    = "${pkgs.linux-doc}/share/doc/linux-doc";
+  }];
+}