diff options
| author | Damien Cassou <damien@cassou.me> | 2020-06-06 22:08:02 +0200 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2020-06-11 22:53:33 +0200 |
| commit | 6f683d972672c365fdd8ac21b7305f3b51e73ae3 (patch) | |
| tree | 668bdc257b49629090539a0fe3ec5efa9a10cad6 /doc/default.nix | |
| parent | 2209d3cb512ffba3fcd530fbae20756ff69b2ec5 (diff) | |
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.
Diffstat (limited to '')
| -rw-r--r-- | doc/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/default.nix b/doc/default.nix index 145c7d3b404..88e9756140e 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 |