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 /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 'default.nix')
-rw-r--r-- | default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/default.nix b/default.nix index dbaea4b50d1..4219d370c49 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 = |