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 'doc/default.nix')
-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 |