From 6f683d972672c365fdd8ac21b7305f3b51e73ae3 Mon Sep 17 00:00:00 2001
From: Damien Cassou <damien@cassou.me>
Date: Sat, 6 Jun 2020 22:08:02 +0200
Subject: [PATCH] home-manager: add documentation to root `default.nix`

This adds documentation related packages to default.nix to allow
building documentation separately from building a Home Manager
configuration.
---
 default.nix     | 6 ++++++
 doc/default.nix | 5 +++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/default.nix b/default.nix
index dbaea4b5..4219d370 100644
--- a/default.nix
+++ b/default.nix
@@ -1,6 +1,12 @@
 { pkgs ? import <nixpkgs> { } }:
 
 rec {
+  docs = with import ./doc { inherit pkgs; }; {
+    html = manual.html;
+    manPages = manPages;
+    json = options.json;
+  };
+
   home-manager = pkgs.callPackage ./home-manager { path = toString ./.; };
 
   install =
diff --git a/doc/default.nix b/doc/default.nix
index 145c7d3b..88e97561 100644
--- a/doc/default.nix
+++ b/doc/default.nix
@@ -1,6 +1,7 @@
-{
+{ pkgs
+
 # Note, this should be "the standard library" + HM extensions.
-lib, pkgs }:
+, lib ? import ../modules/lib/stdlib-extended.nix pkgs.lib }:
 
 let